factor/basis/ui/backend/gtk
Slava Pestov 1f4da36b4b Fixes #32 - double clicks were not handled properly in ui.backend.gtk 2011-08-27 17:06:53 -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: add platforms.txt so that we don't load it on Windows 2011-04-06 17:54:22 -04:00
authors.txt ui.backend.gtk: change authors list 2010-06-13 16:53:24 +06:00
gtk.factor Fixes #32 - double clicks were not handled properly in ui.backend.gtk 2011-08-27 17:06:53 -07:00
summary.txt add summary.txt and tags.txt for various vocabularies 2010-07-17 15:31:53 +06:00