Made MPM configurable; changed startup exec speed from 10 to 1
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Sun, 29 Sep 2019 20:51:48 +0000 (22:51 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Sun, 29 Sep 2019 20:51:48 +0000 (22:51 +0200)
commitda1a7df25582ae1fe277762c2ba5640d4697a71c
treeff9388ad9b3f7000b62a3719bdef72fe7dfc289f
parent435134a2171ff1092eb87cbd1abe5fd3935118cc
Made MPM configurable; changed startup exec speed from 10 to 1
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/launch/MachineLaunchConfigType.java
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/launch/MainMachineLaunchConfigTab.java
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/util/FileExtensionViewerFilter.java [new file with mode: 0644]