nicolas-p
|
7a028977c4
|
Moved both themes into ui.theme
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
bf2b829846
|
ui.gadgets.colors moved to ui.gadgets.theme
|
2015-08-16 07:53:33 -07:00 |
|
nicolas-p
|
9d5336777d
|
Toolbar button pressed background
|
2015-08-16 07:53:33 -07:00 |
|
nicolas-p
|
a0eaf7a66b
|
Fixed alignment issue in toolbars
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
61552d2901
|
Simplified toolbar code
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
883d7e09d9
|
Other small adjustment in browser toolbar
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
18a4171572
|
Toolbar no longer uses images
|
2015-08-16 07:53:31 -07:00 |
|
nicolas-p
|
844da3fdfd
|
ui.tools.browser: using format-toolbar
|
2015-08-16 07:53:29 -07:00 |
|
nicolas-p
|
d0b4f7d9a3
|
Using ui.gadgets.colors everywhere
|
2015-08-16 07:53:29 -07:00 |
|
nicolas-p
|
c75f6155cf
|
New toolbar dictionary
|
2015-08-16 07:53:26 -07:00 |