5 Commits

Author	SHA1	Message	Date
Marco Pesenti Gritti	c5f7f1d8af	Make tabs fixed size	2007-05-01 12:41:22 +02:00
Marco Pesenti Gritti	12192e974f	Tweaks for themability	2007-04-30 16:31:30 +02:00
Tomeu Vizoso	d6445af2c8	Add method Toolbox.remove_toolbar().	2007-04-29 21:11:59 +02:00
Marco Pesenti Gritti	9ccda70199	Refactor the window API a bit to make it more flexible.	2007-04-27 10:51:19 +02:00
Marco Pesenti Gritti	e49146752f	More work on the new graphics API.	2007-04-26 11:31:41 +02:00