omar 004fe8916a Internals: Settings: Simple optimization caching index into the settings buffer, to remove an unnecessary O(N*M) search during saving. (with N=active root windows during the session, M=stored settings which grows over time)

2018-06-28 18:42:38 +02:00

79 KiB

Raw Blame History

View Raw