ui.backend.gtk: remove unneeded vocabs from USING:, add platforms.txt

db4
Slava Pestov 2011-09-01 20:15:23 -07:00
parent 67c57417d7
commit 101adf453f
2 changed files with 9 additions and 10 deletions

View File

@ -3,18 +3,16 @@
USING: accessors alien.accessors alien.c-types alien.data USING: accessors alien.accessors alien.c-types alien.data
alien.strings arrays assocs classes.struct command-line alien.strings arrays assocs classes.struct command-line
continuations destructors environment gdk.ffi gdk.gl.ffi continuations destructors environment gdk.ffi gdk.gl.ffi
gdk.pixbuf.ffi glib.ffi gdk.pixbuf.ffi glib.ffi gobject-introspection.standard-types
gobject-introspection.standard-types gobject.ffi gtk.ffi gtk.gl.ffi io io.encodings.binary
gobject.ffi gtk.ffi gtk.gl.ffi io.backend io.encodings.utf8 io.files kernel libc literals locals math
io.backend.unix.multiplexers io.encodings.binary math.bitwise math.order math.vectors namespaces sequences
io.encodings.utf8 io.files io.thread kernel libc literals strings system threads ui ui.backend
locals math math.bitwise math.order math.vectors namespaces ui.backend.gtk.input-methods ui.backend.gtk.io ui.clipboards
sequences strings system threads ui ui.backend ui.backend.gtk.input-methods
ui.backend.gtk.io ui.clipboards
ui.commands ui.event-loop ui.gadgets ui.gadgets.editors ui.commands ui.event-loop ui.gadgets ui.gadgets.editors
ui.gadgets.menus ui.gadgets.private ui.gadgets.worlds ui.gadgets.menus ui.gadgets.private ui.gadgets.worlds
ui.gestures ui.pixel-formats ui.pixel-formats.private ui.gestures ui.pixel-formats ui.pixel-formats.private ui.private
ui.private vocabs.loader combinators io ; vocabs.loader combinators ;
IN: ui.backend.gtk IN: ui.backend.gtk
SINGLETON: gtk-ui-backend SINGLETON: gtk-ui-backend

View File

@ -0,0 +1 @@
unix