5 Commits (e7acec15261927eb5380813d85786b7b3108fc12)

Author	SHA1	Message	Date
NiLuJe	e7acec1526	ReaderUI: Saner FM/RD lifecycle ... * Ensure that going from one to the other tears down the former and its plugins before instantiating the latter and its plugins. UIManager: Unify Event sending & broadcasting * Make the two behave the same way (walk the widget stack from top to bottom), and properly handle the window stack shrinking shrinking *and* growing. Previously, broadcasting happened bottom-to-top and didn't really handle the list shrinking/growing, while sending only handled the list shrinking by a single element, and hopefully that element being the one the event was just sent to. These two items combined allowed us to optimize suboptimal refresh behavior with Menu and other Menu classes when opening/closing a document. e.g., the "opening document" Notification is now properly regional, and the "open last doc" option no longer flashes like a crazy person anymore. Plugins: Allow optimizing Menu refresh with custom menus, too. Requires moving Menu's close_callback *after* onMenuSelect, which, eh, probably makes sense, and is probably harmless in the grand scheme of things.	3 years ago
Frans de Jonge	1bd4636a03	Standardize directory/folder to folder (#7328) ... Closes <https://github.com/koreader/koreader/issues/7157>.	3 years ago
poire-z	46221985a6	Delegate "lastfile" management to ReadHistory (#6128) ... Simplify (and avoid edge cases) in other code by having ReadHistory manage the "lastfile" setting on add, remove, rename... Fixed a few other cases of things not updated.	4 years ago
poire-z	eaabc42ea9	[Plugin] Fix move to archive plugin names (#6113) ... Mismatches in these names prevent this plugin from being disabled'able. https://github.com/koreader/koreader/pull/6101#issuecomment-623131390	4 years ago
mwoz123	ce3bf473da	Add move to archive plugin (#6101)	4 years ago