gint get_preferred_height ();
gint get_preferred_width ();
+ bool resizable ();
+
bool start_updating(GdkEventAny*);
bool stop_updating(GdkEventAny*);
uint32_t format,
const void* buffer);
+ static uint32_t port_index(void* controller, const char* symbol);
+
+ static void touch(void* controller,
+ uint32_t port_index,
+ bool grabbed);
+
void update_timeout();
void lv2ui_instantiate(const std::string& title);