John Benediktsson
|
ca03896d74
|
more test IN: cleanup.
|
2018-02-15 09:20:01 -08:00 |
|
John Benediktsson
|
603728b181
|
ui.tools.browser: adding back/forward to touchbar.
|
2018-01-22 10:46:50 -08:00 |
|
John Benediktsson
|
fb9c3920ae
|
ui.tools: enable touchbar commands.
|
2018-01-01 16:00:19 -08:00 |
|
John Benediktsson
|
e376724aa8
|
ui.gadgets.search-tables: remove slot-protocol.
... too much complexity for not enough gain, I think.
|
2017-10-25 15:41:23 -07:00 |
|
John Benediktsson
|
d1f5282c6d
|
ui.gadgets.labeled: cleanup labeled-gadget words.
|
2017-10-25 15:00:22 -07:00 |
|
John Benediktsson
|
5b4339e429
|
ui: use (poorly named) white-interior theme word in a few places.
|
2017-10-25 13:57:35 -07:00 |
Björn Lindqvist
|
522eb559e4
|
ui.tools: setting the initial tool dim as a multiple of the default font
|
2017-06-30 22:47:11 +02:00 |
|
Björn Lindqvist
|
48bd0d2b66
|
ui.tools.*: fix swapped argument order for set-tool-dim
|
2016-07-30 19:03:23 +02:00 |
Alexander Iljin
|
2fd5654473
|
Add EOL at EOF for all authors.txt files for consistency
In some instances replaced CR/LF with LF.
|
2016-07-30 09:25:30 -07:00 |
|
John Benediktsson
|
8d077a96ad
|
using [ ... ] [ drop ] if* instead of dup [ ... ] [ 2drop ] if.
|
2016-07-11 21:01:03 -07:00 |
|
Alexander Iljin
|
d5e5589da8
|
browser: trim whitespace from query before search.
This behavior is consistent with the apropos word.
Should have been done in e4bf5f10.
|
2016-05-22 07:54:53 -07:00 |
|
John Benediktsson
|
59e3cf93b7
|
ui.gadgets.theme: rename to ui.theme.images.
|
2016-05-22 07:53:21 -07:00 |
|
John Benediktsson
|
ff2f58ac4b
|
ui.theme.switching: default font colors.
|
2016-05-22 07:53:21 -07:00 |
|
John Benediktsson
|
63410f62c8
|
ui.theme: updates to color scheme.
Fixes circularity and adds theme switching to Mac menu.
Could use some simplification and reduction in color theme hooks.
|
2016-05-09 21:40:56 -07:00 |
nicolas-p
|
7a028977c4
|
Moved both themes into ui.theme
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
072f8e2625
|
Set text color almost everywhere
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
e5698281fb
|
Replaced hard-coded colors with constants
|
2016-05-09 21:40:56 -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
|
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
|
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
|
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 |
|
nicolas-p
|
bfb81f67cf
|
ui.tools.browser: navigation fix
|
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
|
bf2b829846
|
ui.gadgets.colors moved to ui.gadgets.theme
|
2015-08-16 07:53:33 -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
|
32ae5da655
|
Small adjustments in browser toolbar
|
2015-08-16 07:53:32 -07:00 |
|
nicolas-p
|
f4e8511c0a
|
Fixed compatibility issue with labeled gadget
|
2015-08-16 07:53:31 -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
|
d0b4f7d9a3
|
Using ui.gadgets.colors everywhere
|
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
|
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
|
06fa803cca
|
Fixed USING:
|
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
|
ae9b9b59eb
|
Use colour constants
|
2015-08-16 07:53:25 -07:00 |
|
nicolas-p
|
376eb20f8b
|
Browser improvements
Browser with a unified toolbar and a header that is always visible. The
prev/next buttons are moved to the bottom of the page.
|
2015-08-16 07:53:25 -07:00 |
Doug Coleman
|
892c62e1dc
|
factor: second stab at [ ] [ ] unit-test -> { } [ ] unit-test
|
2015-07-03 09:39:59 -07:00 |
|
Doug Coleman
|
59f3b1ea57
|
Revert "factor: rename [ ] [ ] unit-test -> { } [ ] unit-test using a refactoring tool!"
Needs a bit more work.
This reverts commit 7e54cc2824.
|
2015-07-02 13:47:06 -07:00 |
|
Doug Coleman
|
7e54cc2824
|
factor: rename [ ] [ ] unit-test -> { } [ ] unit-test using a refactoring tool!
|
2015-07-02 11:36:08 -07:00 |
|
Doug Coleman
|
999aa7c897
|
factor: clean up spaces in -tests files
|
2015-07-02 10:34:01 -07:00 |
|
Doug Coleman
|
e3cb325040
|
factor: clean up whitespace in -docs files
|
2015-07-02 10:31:22 -07:00 |
|
Doug Coleman
|
352e5de16a
|
core, basis, extra: Remove DOS line endings from files.
Remove whitespace from end of lines.
Add a newline to the end of each file.
|
2015-06-29 17:25:40 -07:00 |
|
John Benediktsson
|
1a3522f20d
|
Revert "ui.tools.browser: one browser to rule them all."
This reverts commit 178c8c27e8.
|
2014-12-17 17:38:14 -08:00 |
|
John Benediktsson
|
178c8c27e8
|
ui.tools.browser: one browser to rule them all.
|
2014-12-17 17:32:20 -08:00 |