Skip to content

Options Panel in Load Dialog. Options in Recent Files#3788

Merged
wadoon merged 1 commit into
mainfrom
weigl/loadoptionpanel
Jun 13, 2026
Merged

Options Panel in Load Dialog. Options in Recent Files#3788
wadoon merged 1 commit into
mainfrom
weigl/loadoptionpanel

Adding the possibility to have a Profile-dependent option panel

528beb3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
checkerFramework
succeeded Jun 11, 2026 in 2m 25s