Marco Pesenti Gritti
|
40ed24f0fe
|
Fix tab label padding
|
2007-07-09 15:09:59 +02:00 |
|
Marco Pesenti Gritti
|
e88dae8723
|
Start the new approach to style and sizing.
Fix tabs sizing.
|
2007-07-09 14:37:21 +02:00 |
|
Tomeu Vizoso
|
0f49e6d7a8
|
Add current-toolbar-changed signal to Toolbox.
|
2007-06-26 12:28:42 +02:00 |
|
Marc Maurer
|
88011ed22d
|
Add set_current_toolbar
|
2007-06-04 23:53:40 +02:00 |
|
Marco Pesenti Gritti
|
6c671fb7fe
|
Size the toolbox to 1 grid cell
|
2007-05-18 14:00:29 +02:00 |
|
Marco Pesenti Gritti
|
b958a515d5
|
Draw the background of the toolbox hbox
|
2007-05-18 13:32:50 +02:00 |
|
Marco Pesenti Gritti
|
c84e21aa9e
|
Hide the tabs bar when there is only one toolbar.
Fix sugar.Browser
|
2007-05-14 15:48:36 +02:00 |
|
Marco Pesenti Gritti
|
bc4b051af2
|
Some refactoring to get styles right
|
2007-05-01 18:26:26 +02:00 |
|
Marco Pesenti Gritti
|
f34e5fd36b
|
One cell grid of space at toolbar borders
|
2007-05-01 13:50:18 +02:00 |
|
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 |
|