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

Raise window when moved

darcs
wayo.cavazos 2006-02-23 23:24:27 +00:00
parent 79266b58cf
commit 61d96bcad8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
contrib/factory/factory.factor
View File

@ -83,7 +83,7 @@ drag-gc get [ (draw-move-outline) ] with-gcontext ;
: drag-move-window ( -- ) : drag-move-window ( -- )
[ draw-move-outline ] drag-mouse swap v- window-position v+ move-window ; [ draw-move-outline ] drag-mouse swap v- window-position v+ move-window ;
: drag-move-window% [ drag-move-window ] with-window-object ; : drag-move-window% [ drag-move-window raise-window ] with-window-object ;
! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!