| definition: |
appendStyledValue :: WidgetRef -> String -> [Style] -> GuiPort -> IO ()
appendStyledValue (WRefLabel var wtype) val styles gport =
if wtype /= "textedit"
then doWarn $ "GUI.appendStyledValue ignored for widget type '"++wtype++"'"
else send2tk (wRefname2Label var++" insert end \""++escapeTcl val++"\""
++" \""++showStyles styles++"\"") gport >>
send2tk (wRefname2Label var++" see end") gport
where
showStyles = foldr (\st s -> showStyle st ++ " " ++ s) ""
|
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| documentation: |
--- Appends a String value with style tags to the contents of a TextEdit widget --- and adjust the view to the end of the TextEdit widget. --- Different styles can be combined, e.g., to get bold blue text on a --- red background. If <code>Bold</code>, <code>Italic</code> and --- <code>Underline</code> are combined, currently all but one of these are --- ignored. --- This is an experimental function and might be changed in the future. |
| failfree: |
(_, _, _, _) |
| indeterministic: |
might be indeterministic |
| infix: |
no fixity defined |
| iotype: |
{({WRefLabel},_,_,_) |-> _}
|
| name: |
appendStyledValue |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
WidgetRef -> String -> [Style] -> GuiPort -> Prelude.IO () |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |