src/Gtk/Widgets/Sheet/Signal.icl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

implementation module Gtk.Widgets.Sheet.Signal

import StdEnv
import StdMaybe

import Control.Monad
import Data.Functor
import System._Pointer

import Gtk

instance signalHandler GtkSheetSignalHandler
where
	signalName handler = case handler of
		EnterPressedHandler _ -> "enter-pressed"
		TraverseHandler _     -> "traverse"
	signalHandler handler = case handler of
		EnterPressedHandler f -> SHI_Pointer_Bool \_ -> not <$> f
		TraverseHandler f -> SHI_Int_Int_Pointer_Pointer_Bool \oldrow oldcol newrowp newcolp ->
			let newrow = readInt4S newrowp 0; newcol = readInt4S newcolp 0 in
			f (if (oldrow<0) Nothing (Just (oldrow,oldcol))) (newrow,newcol) >>= \r -> case r of
				Nothing ->
					pure False
				Just (row,col) ->
					appWorld (forceEval (writeInt4 newrowp 0 row)) >>|
					appWorld (forceEval (writeInt4 newcolp 0 col)) >>|
					pure True