diff options
| author | Kae <80987908+Novaenia@users.noreply.github.com> | 2023-07-29 02:12:03 +1000 |
|---|---|---|
| committer | Kae <80987908+Novaenia@users.noreply.github.com> | 2023-07-29 02:12:03 +1000 |
| commit | 224ad2c2c07311475875d1d243354f8647112b45 (patch) | |
| tree | c8247f22b4ddda345b7f35d7c6ead25d5e1f2791 /source/windowing/StarPaneManager.hpp | |
| parent | 35fc2679dea7b625bf559c6855e101fc62e613f4 (diff) | |
Reset script panes on character swap
Diffstat (limited to 'source/windowing/StarPaneManager.hpp')
| -rw-r--r-- | source/windowing/StarPaneManager.hpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/source/windowing/StarPaneManager.hpp b/source/windowing/StarPaneManager.hpp index 8adf772..e69f699 100644 --- a/source/windowing/StarPaneManager.hpp +++ b/source/windowing/StarPaneManager.hpp @@ -63,6 +63,8 @@ public: void setBackgroundWidget(WidgetPtr bg); + void dismissWhere(function<bool(PanePtr const&)> func); + // Returns the pane that has captured the keyboard, if any. PanePtr keyboardCapturedPane() const; // Returns true if the current pane that has captured the keyboard is |