f4e8511c0a
Fixed compatibility issue with labeled gadget
2015-08-16 07:53:31 -07:00
e66910c3bd
Centring prev/next links in Browser
2015-08-16 07:53:30 -07:00
0bdeb0c60f
Prev/next buttons in Browser
2015-08-16 07:53:30 -07:00
c8b63fa4b0
Fixed USING:
2015-08-16 07:53:30 -07:00
844da3fdfd
ui.tools.browser: using format-toolbar
2015-08-16 07:53:29 -07:00
d0b4f7d9a3
Using ui.gadgets.colors everywhere
2015-08-16 07:53:29 -07:00
d3b27e44b4
Actual colours for labeled gadgets
2015-08-16 07:53:28 -07:00
a35924d1a8
Move vivid colour in Browser header
...
To go with the green header in the Walker.
2015-08-16 07:53:27 -07:00
06fa803cca
Fixed USING:
2015-08-16 07:53:27 -07:00
38447c276a
Restoring the "add-" prefix
2015-08-16 07:53:27 -07:00
249bd99400
Toolbar, lines and margins used in listener and browser
2015-08-16 07:53:27 -07:00
ae9b9b59eb
Use colour constants
2015-08-16 07:53:25 -07:00
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
892c62e1dc
factor: second stab at [ ] [ ] unit-test -> { } [ ] unit-test
2015-07-03 09:39:59 -07:00
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
7e54cc2824
factor: rename [ ] [ ] unit-test -> { } [ ] unit-test using a refactoring tool!
2015-07-02 11:36:08 -07:00
999aa7c897
factor: clean up spaces in -tests files
2015-07-02 10:34:01 -07:00
e3cb325040
factor: clean up whitespace in -docs files
2015-07-02 10:31:22 -07:00
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
1a3522f20d
Revert "ui.tools.browser: one browser to rule them all."
...
This reverts commit 178c8c27e8
2014-12-17 17:38:14 -08:00
178c8c27e8
ui.tools.browser: one browser to rule them all.
2014-12-17 17:32:20 -08:00
f6af1da32f
ui: use control-value/set-control-value in a few places.
2014-12-17 13:05:00 -08:00
8033741135
io/ui: slim down the USE: list
2014-10-24 17:33:27 -07:00
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
68446b047b
ui: Rename floating-window to dialog-window as per @bjourne's suggestion. Related to #1026 .
2014-08-05 10:03:17 -07:00
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
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
e35c142195
ui.tools.browser.popups: fix in/out links popups.
2013-03-12 09:10:16 -07:00
c0c769a7d8
compiler.units: changing definitions-changed to use a set.
2013-03-10 09:11:18 -07:00
ea276574c5
ui.tools.browser.popups: fix hand-loc get-global.
2012-09-21 18:42:00 -07:00
1ee1a793de
ui.tools.browser: fix stack effect name.
2012-08-17 10:13:44 -07:00
bf86504c1a
ui.tools.browser: Support resize on + and _.
2012-08-07 14:46:09 -07:00
f94853c8b7
ui.tools.browser: adding +/- font size commands.
2012-08-07 12:28:45 -07:00
efbdf222a7
issue #358 : Finish renaming <apropos> to <apropos-search>
2012-06-21 08:35:44 -07:00
8c1165cac1
cleanup some lint warnings.
2012-04-18 17:46:01 -07:00
f9257959fd
Rename class to class-of
2011-10-24 06:47:42 -05:00
26872ffe4d
Rename vocab to lookup-vocab
2011-10-24 06:42:54 -05:00
378786599d
Cleanup lint warnings.
2011-10-14 11:47:24 -07:00
627295f094
Language change: tuple slot setter words with stack effect ( value object -- ) are now named FOO<< instead of (>>FOO)
2010-05-06 17:21:02 -04:00
b4c621d902
Make browser windows larger by default
2009-10-24 16:21:38 -05:00
d08e10bff6
link to the glossary from the help browser toolbar
2009-10-24 15:47:23 -05:00
474e02020c
use 1&& in a few places, clean up some more ui code
2009-10-04 17:50:34 -05:00
405e5d015b
docs: change $subsection to $subsections
2009-10-02 12:15:48 -04:00
9159ce74ab
ui.tools.browser: don't scroll up when reloading page
2009-09-08 16:23:12 -05:00
3fb75247b2
Applied ui-tweaks patchset.
...
- prettyprinter now does syntax highlighting of Factor code
- added a prettyprinter.stylesheet vocab
- text shadow character style for formatted streams
- text shadow for labels
- toolbar buttons display keyboard shortcut in status bar rather than in the button title
- changed some colors in help.stylesheet to match the colors in Factor's scrollbars and border-buttons
- changed status bar color to match the dark blue in Factor's scrollbars
- added some internal padding to the browser gadget to give the article content some breathing room
NOTE: I removed the "pane" slot from browser-gadget. The slot was never used (at least in my image), and now that the browser-gadget's help-pane is wrapped by a "border" gadget, the slot name would be misleading.
2009-09-08 13:30:30 -04:00
fb6df472a2
Cleaning up USING: lists for new strict semantics
2009-05-14 16:54:16 -05:00
eed7b20c7f
ui.tools.browser: don't add current page to history if re-displaying it again
2009-05-01 07:36:47 -05:00
48e70b65fa
Move cross-referencing stuff to tools.crossref since compiler doesn't depend on it anymore, and compute cross-referencing index as needed; reduces image size by ~4Mb
2009-04-22 04:20:38 -05:00
05f3f9dcb9
Fixing unit tests for stack effect inference changes
2009-04-20 21:15:19 -05:00
2b384a7742
Re-organize some error-related code, three-pane look for compiler errors tool, add Joe's icons
2009-04-08 23:05:45 -05:00
nicolas-p
Doug Coleman
John Benediktsson
Slava Pestov
Joe Groff
Keith Lazuka