Doug Coleman 1a5f2ad961 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	…
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	…
summary.txt	…