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
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
c0c769a7d8
compiler.units: changing definitions-changed to use a set.
2013-03-10 09:11:18 -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
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
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
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
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
88bbb47bfa
Browser tool now saves scroll bar position in history
2009-04-05 23:19:35 -05:00
be9d8ffd02
A+b now focuses the search field
2009-03-25 10:12:10 -05:00
7741d2ca23
- definitions.icons now has a reference article
...
- move about to help.vocabs; it now opens the vocab browser instead
- help.vocabs is in default use list
- add runnable-vocab predicate class
2009-03-24 09:11:45 -05:00
637d06a4f8
Add silly 'tip of the day' feature, and 'recently visited' list to UI browser home page
2009-03-24 04:11:08 -05:00
dfb55736c5
show-browser command now just switches to an existing browser instead of pointing it at the documentation front page
2009-03-07 21:35:44 -06:00
742aa5ced7
Rename com-follow to com-browse
2009-02-18 21:01:19 -06:00
51c89053c0
Browser: keyboard navigation popups for A+k and A+K
2009-02-17 08:29:57 -06:00
6b672a11fa
ui.gadgets.editors: rename min-width and max-width slots of field to min-cols and max-cols, re-use line-support code, more accurate dimension calculation that takes field border size into account
2009-02-16 04:25:58 -06:00
4c86bd0951
Various UI cosmetic fixes
2009-02-14 20:46:35 -06:00
193be29964
Working on baseline alignment
2009-02-02 13:45:06 -06:00
d31b902f96
Add horizontal and vertical orientation constants, working on baseline alignment
2009-02-02 00:02:55 -06:00
af744e4511
Use singletons instead of empty tuples, add undo/redo to editor gadgets
2009-01-28 00:30:57 -06:00
fe7c2fecbe
Eliminate some more usages of tuck
2009-01-25 17:55:27 -06:00
6ddf6af2e7
Add A+n, A+p, A+u to navigate hierarchy in browser tool; add common shortcuts to all tools, like F2, A+s, A+q, ...
2009-01-08 19:30:58 -06:00
2fd234ac62
Add common tool commands: F2, A+l, A+L, A+b, A+B
2009-01-08 18:56:39 -06:00
35ebc60a4b
UI tools now remember their size
2009-01-08 18:35:34 -06:00
9ea76e3808
Browser tool: don't search for empty string
2009-01-08 17:50:38 -06:00
d7358b5ef3
Removing last remnants of 'workspace' tool
2009-01-07 15:06:43 -06:00
bdaa5eac31
Minor UI documentation updates
2009-01-06 23:30:08 -06:00
00fad429b5
Add shortcuts for scrolling up/down to listener
2009-01-06 20:55:23 -06:00
35dd01de39
Clean up the browser tool
2009-01-06 14:21:37 -06:00
24d55cc6a6
Browser tool is now its own window; update help-window usages to open browser instead
2009-01-06 13:56:14 -06:00
da94d8afae
Working on new UI
2008-12-11 16:47:38 -06:00
e65368a137
UI event handling refactoring
...
- A+ is now the command key, and M+ is the option key, on mac
- new send-gesture, propagate-gesture words clean up gesture sending
- always send user-input after key-down, without checking if a gadget handled the key-down first
2008-11-21 22:03:14 -06:00
2620a10107
Display help in browser tool
2008-11-20 20:34:49 -06:00
c19f2257f4
Fix permission bits
2008-10-02 08:34:49 -05:00
nicolas-p
John Benediktsson
Doug Coleman
Joe Groff
Slava Pestov
Keith Lazuka
Slava Pestov