diff options
| author | Glenn Smith <glenn@vector35.com> | 2025-03-20 21:43:04 -0400 |
|---|---|---|
| committer | Xusheng <xusheng@vector35.com> | 2025-03-21 23:44:09 +0800 |
| commit | 8c8888c3f9a377d4e3306ec067b8c3d5fbed7ddd (patch) | |
| tree | 568677ca18c6cb96a18c94eb059cd514af3a538f /ui/viewframe.h | |
| parent | f9b8762d49ef16bf2dd7b814d6f1ef06594b2951 (diff) | |
Add API for refreshing UI without needing an analysis update
Diffstat (limited to 'ui/viewframe.h')
| -rw-r--r-- | ui/viewframe.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ui/viewframe.h b/ui/viewframe.h index aa3b5f02..01e833b5 100644 --- a/ui/viewframe.h +++ b/ui/viewframe.h @@ -245,6 +245,7 @@ class BINARYNINJAUIAPI View void updateCrossReferenceSelection(ViewFrame* frame = nullptr); void forceSyncFromView(ViewFrame* frame = nullptr); + virtual void refreshContents() {} virtual void clearRelatedHighlights() {} virtual void setRelatedIndexHighlights(FunctionRef func, const std::set<size_t>& related) { (void)func; (void)related; } @@ -518,6 +519,7 @@ class BINARYNINJAUIAPI ViewFrame : public QWidget void syncToOtherViews(); void forceSyncFromView(); + void refreshContents(); ViewFrame* getOtherPane(); |