steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Minor X clipboard changes

release
slava 2006-07-24 04:42:19 +00:00
parent 83e07c3093
commit 7c85cc68c6
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
library/ui/x11/ui.factor
View File

@ -106,14 +106,16 @@ M: world selection-notify-event ( event world -- )
[ world-handle first selection-from-event ] keep [ world-handle first selection-from-event ] keep
world-focus user-input ; world-focus user-input ;
: supported-type? ( atom -- ? )
{ "STRING" "UTF8_STRING" "TEXT" }
[ x-atom = ] contains-with? ;
M: world selection-request-event ( event world -- ) M: world selection-request-event ( event world -- )
drop dup XSelectionRequestEvent-target drop dup XSelectionRequestEvent-target {
{ { [ dup supported-type? ] [ drop dup set-selection-prop send-notify-success ] }
{ [ dup XA_STRING = ] [ drop dup set-selection-prop send-notify-success ] }
{ [ dup "UTF8_STRING" = ] [ drop dup set-selection-prop send-notify-success ] }
{ [ dup "TARGETS" x-atom = ] [ drop dup set-targets-prop send-notify-success ] } { [ dup "TARGETS" x-atom = ] [ drop dup set-targets-prop send-notify-success ] }
{ [ dup "TIMESTAMP" x-atom = ] [ drop dup set-timestamp-prop send-notify-success ] } { [ dup "TIMESTAMP" x-atom = ] [ drop dup set-timestamp-prop send-notify-success ] }
{ [ t ] [ 2drop send-notify-failure ] } { [ t ] [ drop send-notify-failure ] }
} cond ; } cond ;
: close-box? ( event -- ? ) : close-box? ( event -- ? )