diff options
| author | Glenn Smith <glenn@vector35.com> | 2023-11-06 15:28:59 -0500 |
|---|---|---|
| committer | Glenn Smith <glenn@vector35.com> | 2023-11-06 16:10:47 -0500 |
| commit | 6436615567547349434351468012512505109552 (patch) | |
| tree | e798973c25805377731c4a199f40379263bc128c /ui/viewframe.h | |
| parent | 4108964609171327618627477163339656037111 (diff) | |
Type Browser
Diffstat (limited to 'ui/viewframe.h')
| -rw-r--r-- | ui/viewframe.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ui/viewframe.h b/ui/viewframe.h index 59e45a75..7f4376e8 100644 --- a/ui/viewframe.h +++ b/ui/viewframe.h @@ -136,6 +136,7 @@ class BINARYNINJAUIAPI View virtual ~View() {} void enableRefreshTimer(QWidget* owner, int interval); + void setRefreshTimerRunning(bool running); void setRefreshQuiesce(bool enable); virtual void notifyRefresh() {}; |