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 |
|
nicolas-p
|
547ca698d8
|
Removed extra new line in help
|
2015-08-16 07:53:28 -07:00 |
|
nicolas-p
|
5ebf88bc0c
|
Fixed USING: in debugger
|
2015-08-16 07:53:28 -07:00 |
|
nicolas-p
|
c195efbdff
|
New inspector
|
2015-08-16 07:53:28 -07:00 |
|
nicolas-p
|
30091bee91
|
White interior and margins in Traceback
|
2015-08-16 07:53:28 -07:00 |
|
nicolas-p
|
6a528d3978
|
New debugger
|
2015-08-16 07:53:28 -07:00 |
|
nicolas-p
|
52135e2df7
|
Removed white interior
It was in the wrong place
|
2015-08-16 07:53:28 -07:00 |
|
nicolas-p
|
a35924d1a8
|
Move vivid colour in Browser header
To go with the green header in the Walker.
|
2015-08-16 07:53:27 -07:00 |
|
nicolas-p
|
b8b3362fa0
|
Labeled: added colour lines, framed labeled and fixed keyboard focus
Colours lines are all yellow at the moment. This will change later.
|
2015-08-16 07:53:27 -07:00 |
|
nicolas-p
|
67afaa5bce
|
Fixed USING: (again)
|
2015-08-16 07:53:27 -07:00 |
|
nicolas-p
|
09f68f7a98
|
Traceback and Walker now use the new labeled gadget
|
2015-08-16 07:53:27 -07:00 |
|
nicolas-p
|
06fa803cca
|
Fixed USING:
|
2015-08-16 07:53:27 -07:00 |
|
nicolas-p
|
f99f32a990
|
New labeled gadget
The new labeled gadget is not a frame anymore.
|
2015-08-16 07:53:27 -07:00 |
|
nicolas-p
|
38447c276a
|
Restoring the "add-" prefix
|
2015-08-16 07:53:27 -07:00 |
|
nicolas-p
|
249bd99400
|
Toolbar, lines and margins used in listener and browser
|
2015-08-16 07:53:27 -07:00 |
|
nicolas-p
|
265a855217
|
Common margins for all panes
(Is this the right place to put it?)
|
2015-08-16 07:53:26 -07:00 |
|
nicolas-p
|
8c0fbca360
|
New lines dictionary
To draw 1-px grey lines between panes
|
2015-08-16 07:53:26 -07:00 |
|
nicolas-p
|
c75f6155cf
|
New toolbar dictionary
|
2015-08-16 07:53:26 -07:00 |
|
nicolas-p
|
eb21e05fef
|
Revert "solid-underlined"
This reverts commit 7e4450776d935a94e1cc013f18b9818ac9af91cd.
|
2015-08-16 07:53:26 -07:00 |
|
nicolas-p
|
9991aa2f3b
|
New labeled block images
Using grey85 (217 217 217)
|
2015-08-16 07:53:26 -07:00 |