]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c5d70e) | patch
ui.backend.gtk: Save the clipboard to the global clipboard so that it doesn't get...
authorDoug Coleman <doug.coleman@gmail.com>
Mon, 29 Oct 2012 17:56:34 +0000 (10:56 -0700)
committerDoug Coleman <doug.coleman@gmail.com>
Mon, 29 Oct 2012 17:56:34 +0000 (10:56 -0700)
commit1a5f2ad961c2f296c3449b06ddc26d4818473d0b
tree8b153cda05e6cb3a3b393b3de4a9367ec5b1a009tree | snapshot
parent0c5d70e8811d3dea6fb7ce759ba7b32dcafcd088commit | diff
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.
basis/ui/backend/gtk/gtk.factor diff | blob | history
basis/ui/gadgets/editors/editors.factor diff | blob | history
Factor programming language