From 75906b43ecb9a04fdab365bd8b1a00fbdbc66918 Mon Sep 17 00:00:00 2001 From: Stijn Buys Date: Sun, 3 Oct 2010 19:57:17 +0000 Subject: ui updates, removed impulse and jumpgte g_devel conditions, jumpdrive crash bugfix --- src/ui/widget.cc | 1 + 1 file changed, 1 insertion(+) (limited to 'src/ui/widget.cc') diff --git a/src/ui/widget.cc b/src/ui/widget.cc index 2f35185..f663cc6 100644 --- a/src/ui/widget.cc +++ b/src/ui/widget.cc @@ -188,6 +188,7 @@ void Widget::set_enabled(const bool enabled) else disable(); } + void Widget::set_border(const bool border) { widget_border = border; -- cgit v1.2.3