246b5b93f8
* Added method equals to class LastWindowPosition to compare the contents of instances. Added storage to common.dart for remembering what window position data has previously been written. Factored the actual save code from saveWindowPosition to _saveWindowPositionActual and updated saveWindowPosition to call it through a debouncer, and only if the window position data has actually changed since the last call in the same instance. Added named parameter 'flush' to saveWindowPosition in common.dart, and to _saveFrame in tabbar_widget.dart, and updated the onWindowClosed handler in tabbar_widget.dart to call _saveFrame with flush: true, forcing an immediate save on close. Removed the _saveFrame debouncer from tabbar_widget.dart. * saveWindowPosition: don't reschedule debounce if it's already in flight * Reworked the logic in saveWindowPosition to collapse a rapid series of updates into one save at the end. |
||
|---|---|---|
| .. | ||
| button.dart | ||
| dragable_divider.dart | ||
| kb_layout_type_chooser.dart | ||
| list_search_action_listener.dart | ||
| material_mod_popup_menu.dart | ||
| menu_button.dart | ||
| popup_menu.dart | ||
| refresh_wrapper.dart | ||
| remote_toolbar.dart | ||
| tabbar_widget.dart | ||
| titlebar_widget.dart | ||
| update_progress.dart | ||