diff options
Diffstat (limited to 'libs/pbd/pbd/abstract_ui.h')
| -rw-r--r-- | libs/pbd/pbd/abstract_ui.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libs/pbd/pbd/abstract_ui.h b/libs/pbd/pbd/abstract_ui.h index 060d05d37f..5491210db7 100644 --- a/libs/pbd/pbd/abstract_ui.h +++ b/libs/pbd/pbd/abstract_ui.h @@ -92,10 +92,10 @@ class ABSTRACT_UI_API AbstractUI : public BaseUI RequestBufferMap request_buffers; static Glib::Threads::Private<RequestBuffer> per_thread_request_buffer; - + Glib::Threads::Mutex request_list_lock; std::list<RequestObject*> request_list; - + RequestObject* get_request (RequestType); void handle_ui_requests (); void send_request (RequestObject *); |