diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-17 19:09:06 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-17 19:09:06 +0000 |
commit | 58ceedc38ed430535508360adde7b5b6d76b08e6 (patch) | |
tree | e43e8fc2e63f00ff7945bb1bd6d1c3e41b3f5e1d /tikzit/src/gtk/gtkhelpers.m | |
parent | 5ac1d383d2a89d22fbf54d688d64bf6a1036df6b (diff) |
Allow node and edge styles to be applied to selection
Brings back some old functionality, but in a more compact way.
Diffstat (limited to 'tikzit/src/gtk/gtkhelpers.m')
-rw-r--r-- | tikzit/src/gtk/gtkhelpers.m | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tikzit/src/gtk/gtkhelpers.m b/tikzit/src/gtk/gtkhelpers.m index ce02618..c37077b 100644 --- a/tikzit/src/gtk/gtkhelpers.m +++ b/tikzit/src/gtk/gtkhelpers.m @@ -226,4 +226,12 @@ void tz_restore_window (GtkWindow *window, gint x, gint y, gint w, gint h) } } +void label_set_bold (GtkLabel *label) { + PangoAttrList *attrs = pango_attr_list_new (); + pango_attr_list_insert (attrs, + pango_attr_weight_new (PANGO_WEIGHT_SEMIBOLD)); + gtk_label_set_attributes (label, attrs); + pango_attr_list_unref (attrs); +} + // vim:ft=objc:ts=8:et:sts=4:sw=4 |