Doug Coleman
|
3649dd2764
|
ui.backend.cocoa.views: Don't throw an error on weird mouse buttons. Fixes #1453.
|
2015-08-18 23:22:55 -07:00 |
John Benediktsson
|
ac5da311f7
|
more cleanup.
|
2015-08-17 20:48:48 -07:00 |
|
John Benediktsson
|
e8cc383388
|
minor cleanup.
|
2015-08-17 20:32:28 -07:00 |
|
John Benediktsson
|
399d01f56e
|
strings.parser: finish removing triple-strings.
parse-string => parse-short-string (on the same line)
parse-multiline-string-until => parse-full-string
|
2015-08-17 19:49:12 -07:00 |
|
Doug Coleman
|
048bdca050
|
factor.cmd: git pull from http doesn't update my local master to remote's
master. using git:// instead.
|
2015-08-17 13:23:11 -05:00 |
|
John Benediktsson
|
9d428cbcaf
|
slides: make it work on windows (no gradients).
|
2015-08-17 09:43:54 -07:00 |
|
John Benediktsson
|
ff880262cb
|
ui.gadgets.editors: make it easier to set and get default-text.
|
2015-08-16 14:29:21 -07:00 |
|
John Benediktsson
|
6de244da44
|
ui.tools.browser: use default-text to make search box prettier.
|
2015-08-16 13:45:29 -07:00 |
|
John Benediktsson
|
f24444e990
|
ui.gadgets.editors: allow action-fields to have a default text.
|
2015-08-16 13:45:16 -07:00 |
|
John Benediktsson
|
f3608deb63
|
ui.tools.browser: better to remove page-color than change it.
|
2015-08-16 12:58:38 -07:00 |
|
John Benediktsson
|
7dd0acbf0f
|
help.stylesheet: add back page-color and override in ui.tools.browser.
|
2015-08-16 12:54:56 -07:00 |
|
John Benediktsson
|
c957ab876c
|
prettyprint: fix for -> rename.
|
2015-08-16 12:39:08 -07:00 |
|
John Benediktsson
|
ace299b5c7
|
help: fix some html navigation styles.
|
2015-08-16 11:38:38 -07:00 |
|
John Benediktsson
|
81cbf71d27
|
help: make the default print prev/next links but then modify ui.tools.browser to do what it used to do.
|
2015-08-16 11:33:24 -07:00 |
|
John Benediktsson
|
92762cb56b
|
help.html: fix navigation links at top.
|
2015-08-16 11:33:24 -07:00 |
|
Doug Coleman
|
f414323d1d
|
prettyprint: change -> to => for newparser and -> cocoa syntax. Alternatives are possible.
|
2015-08-16 10:59:03 -07:00 |
|
John Benediktsson
|
6b440e5e81
|
ui.gadgets: fix help-lint warnings.
|
2015-08-16 10:46:28 -07:00 |
|
John Benediktsson
|
15b0753457
|
ui.gadgets: fix some tests.
|
2015-08-16 10:41:16 -07:00 |
|
John Benediktsson
|
29d4908ff5
|
ui.gadgets: move some buttons-tests to toolbar-tests.
|
2015-08-16 10:33:52 -07:00 |
|
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 |