path: root/gui/view.c
AgeCommit message (Collapse)AuthorFilesLines
2016-11-02Revert "gui/view.c: use GtkTextView instead of GtkLabel"Werner Almesberger1-25/+13
This reverts commit d849ee95ff7e2ff2ccf0d6ff98b42a3a7f9a383d. gtk_text_buffer_insert_markup is too new to be supported by major distributions (e.g., Debian "stable"), so we can't use it :-( Reported by Martin Borgert.
2016-10-30gui/view.c: use GtkTextView instead of GtkLabelWerner Almesberger1-13/+25
This allows us to suppress the cursor, which confusingly suggested editability of the text. Also the default background color is nicer. Added left and right margins, too.
2016-10-30gui/view.c (view_open): align label with the upper left cornerWerner Almesberger1-0/+2
2016-10-30gui/view.c, view.h, Makefile: generalized handling of viewer windowsWerner Almesberger1-0/+130