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
..
browser	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
common	ui.tools.common: reuse code.	2014-04-28 13:01:18 -07:00
debugger	docs: change ``{ $quotation "( x -- y )" }`` to ``{ $quotation ( x -- y ) }``.	2014-05-18 20:09:10 -07:00
deploy	ui: Rename floating-window to dialog-window as per @bjourne's suggestion. Related to #1026.	2014-08-05 10:03:17 -07:00
error-list	ui.tools.error-list: Fix reset-memoized.	2013-03-23 17:35:18 -07:00
inspector	ui: Rename floating-window to dialog-window as per @bjourne's suggestion. Related to #1026.	2014-08-05 10:03:17 -07:00
listener	ui.tools.listener.history: cleanup and minor bugfix.	2014-04-30 19:06:36 -07:00
operations	ui.tools: Fix restart.	2013-03-23 17:39:48 -07:00
traceback	prettyprint: rename so it doesn't look so much like print-error.	2013-04-10 19:18:15 -07:00
walker	docs: change $subsection to $subsections	2009-10-02 12:15:48 -04:00
authors.txt	…
summary.txt	…
tags.txt	…
tools-docs.factor	kill tools.profiler.counting and ui.tools.profiler	2011-11-10 12:33:10 -08:00
tools.factor	ui.tools: adding Ctrl-Shift-F for "toggle fullscreen".	2011-03-07 15:08:26 -08:00