John Benediktsson
|
bfbab98d57
|
ui.tools.browser: remove spacer for right now...
...until we have the text-within-empty-label thing fixed it gives
us a little more space to type into.
|
2015-08-16 10:22:11 -07:00 |
|
John Benediktsson
|
0af0f5c424
|
gopher-ui: use ui.gadgets.toolbar.
|
2015-08-16 08:12:37 -07:00 |
|
John Benediktsson
|
cb575c1ba8
|
ui.gadgets.labeled: separate title-bar-interior with a comment why.
|
2015-08-16 08:04:58 -07:00 |
nicolas-p
|
87a31f1f35
|
ui.gadgets.labeled: fixed USING
|
2015-08-16 07:54:45 -07:00 |
|
nicolas-p
|
61f8db4c81
|
ui.gadgets.theme.light: colour changes
|
2015-08-16 07:54:45 -07:00 |
|
nicolas-p
|
b81a5f9c7a
|
ui.gadgets.labeled: flat colour on windows because of the gradient bug
|
2015-08-16 07:54:45 -07:00 |
|
nicolas-p
|
2a7cc29693
|
ui.tools.walker: improved status text
|
2015-08-16 07:54:45 -07:00 |
|
nicolas-p
|
d71f7b955e
|
help: fixed USING
|
2015-08-16 07:54:45 -07:00 |
|
nicolas-p
|
bfb81f67cf
|
ui.tools.browser: navigation fix
|
2015-08-16 07:54:16 -07:00 |
|
nicolas-p
|
fff4ea78ec
|
ui.gadgets.color: changed error colour
Reverted a previous unintentional change
|
2015-08-16 07:54:16 -07:00 |
|
nicolas-p
|
bab79fe04c
|
ui.theme.light: using HEXCOLOR
|
2015-08-16 07:54:16 -07:00 |
|
nicolas-p
|
1817a4b8cb
|
Refactored prev/next buttons code
|
2015-08-16 07:54:16 -07:00 |
|
nicolas-p
|
706fe6eb4e
|
help: Added arrows in prev/next links
|
2015-08-16 07:53:34 -07:00 |
|
nicolas-p
|
55c994f1c1
|
ui.gadgets.scrollers: removed 1-px gap
|
2015-08-16 07:53:34 -07:00 |
|
nicolas-p
|
bf2b829846
|
ui.gadgets.colors moved to ui.gadgets.theme
|
2015-08-16 07:53:33 -07:00 |
|
nicolas-p
|
23a1174e81
|
Fixed USING in slots and deploy
|
2015-08-16 07:53:33 -07:00 |
|
nicolas-p
|
9f8736c13c
|
Moved toolbar docs
|
2015-08-16 07:53:33 -07:00 |
|
nicolas-p
|
355e14cb5b
|
New buttons
|
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
|
4335698ceb
|
ui.gadgets.colors: Several colour changes
|
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
|
40c6e04128
|
Fixed USING:
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
279795dbfd
|
Red/orange/green thread status in Walker
John did most of the work
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
61552d2901
|
Simplified toolbar code
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
2e067a3705
|
Small change in roll button colour
|
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
|
32ae5da655
|
Small adjustments in browser toolbar
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
c0e253a4a5
|
Revert previous colour change
Changed my mind
|
2015-08-16 07:53:31 -07:00 |
|
nicolas-p
|
f240f189e1
|
Improved contents table in Inspector
|
2015-08-16 07:53:31 -07:00 |
|
nicolas-p
|
80307926f6
|
Colour changes
|
2015-08-16 07:53:31 -07:00 |
|
nicolas-p
|
f4e8511c0a
|
Fixed compatibility issue with labeled gadget
|
2015-08-16 07:53:31 -07:00 |
|
nicolas-p
|
18a4171572
|
Toolbar no longer uses images
|
2015-08-16 07:53:31 -07:00 |
|
nicolas-p
|
008614e6cb
|
Authors and summary for ui.gadgets.toolbar
|
2015-08-16 07:53:31 -07:00 |
|
nicolas-p
|
79e273a250
|
Authors and summary for ui.gadgets.colors
|
2015-08-16 07:53:30 -07:00 |
|
nicolas-p
|
44a6228931
|
Removing menu item images
I’m under the impression that they’ve never been used.
|
2015-08-16 07:53:30 -07:00 |
|
nicolas-p
|
9d464fea9a
|
Removing menu images
|
2015-08-16 07:53:30 -07:00 |
|
nicolas-p
|
086c90822d
|
Removing labeled block images
|
2015-08-16 07:53:30 -07:00 |
|
nicolas-p
|
10cb51c031
|
help: removing prefix
|
2015-08-16 07:53:30 -07:00 |
|
nicolas-p
|
e66910c3bd
|
Centring prev/next links in Browser
|
2015-08-16 07:53:30 -07:00 |
|
nicolas-p
|
0bdeb0c60f
|
Prev/next buttons in Browser
|
2015-08-16 07:53:30 -07:00 |
|
nicolas-p
|
c8b63fa4b0
|
Fixed USING:
|
2015-08-16 07:53:30 -07:00 |
|
nicolas-p
|
844da3fdfd
|
ui.tools.browser: using format-toolbar
|
2015-08-16 07:53:29 -07:00 |
|
nicolas-p
|
359b42ab15
|
Removed ui.gadgets.lines
with-lines moves to ui.tools.common, white-interior moves to
ui.gadgets.colors
|
2015-08-16 07:53:29 -07:00 |
|
nicolas-p
|
ea40508cd9
|
New error-list
|
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
|
ba4a6b780a
|
Added ui.gadgets.colors
All colour constants in the same place
|
2015-08-16 07:53:29 -07:00 |
|
nicolas-p
|
dbe9aebe5d
|
New menu
|
2015-08-16 07:53:29 -07:00 |
|
nicolas-p
|
faa2ad6d60
|
Increased font size in help header path
|
2015-08-16 07:53:29 -07:00 |
|
nicolas-p
|
d3b27e44b4
|
Actual colours for labeled gadgets
|
2015-08-16 07:53:28 -07:00 |
|
nicolas-p
|
48376ff10c
|
Using filled-border in status bar
|
2015-08-16 07:53:28 -07:00 |