Vadim Zeitlin c1107c6be1 Improve (de)serializing pinned tabs in wxAuiNotebook ...

Stop saving and restoring locked tabs: their semantics dictates that
their state can't be changed by the user, and so they must remain locked
no matter what, whereas it was possible to turn a locked tab into a
normal one via data given to the deserializer (e.g. by editing a config
file manually).

Also ensure that restoring the pinned tabs doesn't break the control
invariant, i.e. that they don't come after any normal tabs. If the
deserializer returns the data that puts pinned tabs on invalid
positions, just ignore it and don't make them pinned: this is better
than ending up in an invalid state and simpler than moving them before
the normal tabs.

2025-03-16 20:28:36 +01:00

..

wx

Improve (de)serializing pinned tabs in wxAuiNotebook

2025-03-16 20:28:36 +01:00

check_syntax.sh

…