148
148
/* This might be a place to bring up a context menu */
150
150
if (event != GNT_LEFT_MOUSE_DOWN ||
151
151
GNT_WIDGET_IS_FLAG_SET(widget, GNT_WIDGET_NO_BORDER))
154
154
gnt_widget_get_position(widget, &x, &y);
155
155
gnt_widget_get_size(widget, &w, &h);