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 |
|
John Benediktsson
|
f6af1da32f
|
ui: use control-value/set-control-value in a few places.
|
2014-12-17 13:05:00 -08:00 |
|
John Benediktsson
|
8033741135
|
io/ui: slim down the USE: list
|
2014-10-24 17:33:27 -07:00 |
|
Doug Coleman
|
6e037ee256
|
ui.tools.browser: Remove dialog-window attribute from help browser. The window has enough content to merit a panel in a tiling window manager, and this attribute forces the window to always be in front on GTK, which is annoying.
|
2014-08-05 11:35:49 -07:00 |
|
Doug Coleman
|
68446b047b
|
ui: Rename floating-window to dialog-window as per @bjourne's suggestion. Related to #1026.
|
2014-08-05 10:03:17 -07:00 |
|
Doug Coleman
|
fdcc33acee
|
ui: Fix floating-window implementation for Windows/Mac. We need floating-window defined in the hashtables, as well as adding it /in addition to/ the existing flags.
|
2014-07-16 14:38:50 -05:00 |
|
Doug Coleman
|
57cdc841c3
|
ui: Add a floating-window window-contol for opening floating windows in a tiling window manager on gtk. Use this style on the help browser, inspector, and deploy windows. Please report any other windows that need this flag since I don't regularly use a tiling window manager. Tested on Ubuntu 14.04 64bit with i3 window manager. Fixes #1026.
|
2014-07-16 02:26:52 -07:00 |
|
John Benediktsson
|
e35c142195
|
ui.tools.browser.popups: fix in/out links popups.
|
2013-03-12 09:10:16 -07:00 |
|
John Benediktsson
|
c0c769a7d8
|
compiler.units: changing definitions-changed to use a set.
|
2013-03-10 09:11:18 -07:00 |
|
John Benediktsson
|
ea276574c5
|
ui.tools.browser.popups: fix hand-loc get-global.
|
2012-09-21 18:42:00 -07:00 |
|
John Benediktsson
|
1ee1a793de
|
ui.tools.browser: fix stack effect name.
|
2012-08-17 10:13:44 -07:00 |