Commit Graph

22 Commits

Author SHA1 Message Date
Simon Schampijer
83f76f115a Use new style for unused variables 2008-04-24 16:55:19 +02:00
Marco Pesenti Gritti
283b201145 pylint most of sugar.graphics, only palette left 2008-04-19 01:10:48 +02:00
Simon Schampijer
bdbdc5bc87 Make the text in the toolbar of the toolbox dependant on the text size
and minimum style.TOOLBOX_TAB_LABEL_WIDTH
2008-02-26 00:32:27 +01:00
Marco Pesenti Gritti
488402df7d Split sugar-toolkit out of sugar shell. 2008-02-06 10:20:33 +01:00
Marco Pesenti Gritti
6240c1cf6f Cleanup the source structure 2007-10-16 11:04:59 +02:00
Benjamin Berg
7634b8f915 Put toolbars into event boxes. This means that they will be filled with
the background color by X which makes the frame animations nicer.
2007-10-09 23:54:47 +02:00
Marco Pesenti Gritti
cffd29c284 Do not show the toolbox border if there is only one toolbar. 2007-09-13 21:16:49 +02:00
Marco Pesenti Gritti
5127901d86 Gray bottom border for Toolbox. 2007-09-05 14:23:17 +02:00
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