ContentsIndex
GUIInput
Portabilityportable (depende de GHC - GTK2HS)
StabilityVersion de juguete.
Contents
Tipos
Constructores
Metodos
Description
Definicion de la representacion grafica de un cuadro de texto que permite la entrada de expresiones de acuerdo a la sintaxis definida para este lenguaje.
Synopsis
type XInput = SourceBuffer
xInputNew :: ContainerClass c => c -> String -> IO XInput
xInputCanUndo :: XInput -> IO Bool
xInputCanRedo :: XInput -> IO Bool
xInputUndo :: XInput -> IO ()
xInputRedo :: XInput -> IO ()
xInputGetText :: XInput -> IO String
xInputSetText :: XInput -> String -> IO ()
Tipos
type XInput = SourceBuffer
Definicion del cuadro de entrada de expresiones para el entorno grafico.
Constructores
xInputNew :: ContainerClass c => c -> String -> IO XInput
Dado el tipo del lenguaje que se empleara (de acuerdo a su especificacion en un archivo xml), crea un nuevo cuadro de entrada que respeta el dicho formato.
Metodos
xInputCanUndo :: XInput -> IO Bool
Dado un cuadro de entrada de expresiones, determina si se puede deshacer alguno de los cambios efectuados sobre el mismo.
xInputCanRedo :: XInput -> IO Bool
Dado un cuadro de entrada de expresiones, determina si se puede rehacer alguno de los cambios efectuados sobre el mismo.
xInputUndo :: XInput -> IO ()
Dado un cuadro de entrada de expresiones, deshace el ultima cambio que se haya efectuado en el mismo.
xInputRedo :: XInput -> IO ()
Dado un cuadro de entrada de expresiones, rehace la ultima accion que se haya deshecho.
xInputGetText :: XInput -> IO String
Dado un cuadro de entrada de expresiones, retorna el texto que se encuentra almacenado en el mismo.
xInputSetText :: XInput -> String -> IO ()
Dado un cuadro de entrada de expresiones y una secuencia de caracteres, carga dicha expresion en el cuadro de entrada.
Produced by Haddock version 0.8