OpenSeSim/src/opensesim/gui/PreferencesEditor
7u83 6a8c4c3404 Added a spinner for threads 2018-12-27 17:51:09 +01:00
..
EditPreferencesDialog.form Added a spinner for threads 2018-12-27 17:51:09 +01:00
EditPreferencesDialog.java Added a spinner for threads 2018-12-27 17:51:09 +01:00