comparison run.gui_sh @ 119:e11d32e296d2

Cleaned-up option card code a bit, and functional 'save' and 'discard' buttons in TabOptions
author Fox
date Sat, 25 Nov 2023 11:40:14 +0100
parents 4ee26d904fe3
children
comparison
equal deleted inserted replaced
118:290101988622 119:e11d32e296d2