Speed up GUI object filtering (debounce + incremental row updates)#92
Merged
jhrutgers merged 1 commit intoDEMCON:mainfrom Mar 27, 2026
Merged
Speed up GUI object filtering (debounce + incremental row updates)#92jhrutgers merged 1 commit intoDEMCON:mainfrom
jhrutgers merged 1 commit intoDEMCON:mainfrom
Commits
Commits on Jan 8, 2026
- committed
Frits Kuipers