Doug Coleman f955178bc4 ui.backend.gtk: Save the clipboard to the global clipboard so that it doesn't get deleted when Factor exits. Fixes #548. Add paste-selection, but commented out for now.		2012-10-29 10:56:34 -07:00
..
input-methods	ui.backend.gtk: split off input methods support for ui.editors into .input-methods.editors (no more ui.editors with its dependencies in a deployed	2011-01-26 21:37:26 +06:00
io	ui.backend.gtk.io.unix: switch to "mx get-global".	2012-08-01 16:22:23 -07:00
authors.txt	…
gtk.factor	ui.backend.gtk: Save the clipboard to the global clipboard so that it doesn't get deleted when Factor exits. Fixes #548. Add paste-selection, but commented out for now.	2012-10-29 10:56:34 -07:00
platforms.txt	ui.backend.gtk: remove unneeded vocabs from USING:, add platforms.txt	2011-09-01 20:15:23 -07:00
summary.txt	…