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
..
history	…
popups	ui.tools.browser.popups: fix in/out links popups.	2013-03-12 09:10:16 -07:00
authors.txt	…
browser-docs.factor	…
browser-tests.factor	…
browser.factor	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
summary.txt	…
tags.txt	…