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.h | |
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.h')
-rw-r--r-- | tikzit/src/gtk/gtkhelpers.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tikzit/src/gtk/gtkhelpers.h b/tikzit/src/gtk/gtkhelpers.h index 59b69bc..a28b127 100644 --- a/tikzit/src/gtk/gtkhelpers.h +++ b/tikzit/src/gtk/gtkhelpers.h @@ -48,4 +48,6 @@ GdkPixbuf * pixbuf_get_from_surface(cairo_surface_t *surface); void tz_restore_window (GtkWindow *window, gint x, gint y, gint w, gint h); +void label_set_bold (GtkLabel *label); + // vim:ft=objc:sts=2:sw=2:et |