gtk2hs - Gtk widget for text -


sorry stupid question, i'm newbie in gtk. want build gui interface gtk2hs, contain lot of text (non editable) different formatting options each piece of text. there gtk widget, designed purpose? kind of widgets appropriate this?

you should use gtktextview widget has been set non-editable.

if text not overly long (a couple of short paragraphs) can use gtklabel, if length or number of paragraphs big measuring text start become performance issue.


Comments

Popular posts from this blog

python - Subclassed QStyledItemDelegate ignores Stylesheet -

java - HttpClient 3.1 Connection pooling vs HttpClient 4.3.2 -

SQL: Divide the sum of values in one table with the count of rows in another -