diff options
author | infirit <[email protected]> | 2014-12-19 00:35:27 +0100 |
---|---|---|
committer | infirit <[email protected]> | 2014-12-19 00:35:27 +0100 |
commit | 51357cc58ed32763b7eaff97d9ba04507ac0665d (patch) | |
tree | d8edd30bdff48a0f9aa75d9c2c6c45ad6e5ee710 /src/interface.h | |
parent | ee379181d3b6b89c23a660d027caa9c2d027aa7d (diff) | |
download | mate-system-monitor-51357cc58ed32763b7eaff97d9ba04507ac0665d.tar.bz2 mate-system-monitor-51357cc58ed32763b7eaff97d9ba04507ac0665d.tar.xz |
Disable priority changed handler while setting current priority
Taken from GSM commit: c00d94f3bfe2186428ef30e922042a555b7dc03a
From: Robert Roth <[email protected]>
Gnome bug: https://bugzilla.gnome.org/show_bug.cgi?id=667227
Diffstat (limited to 'src/interface.h')
-rw-r--r-- | src/interface.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/interface.h b/src/interface.h index a69574a..2b42e7a 100644 --- a/src/interface.h +++ b/src/interface.h @@ -26,6 +26,7 @@ void create_main_window (ProcData *data); void update_sensitivity (ProcData *data); +void block_priority_changed_handlers(ProcData *data, bool block); void do_popup_menu(ProcData *data, GdkEventButton *event); GtkWidget * make_title_label (const char *text); |