Wombat IDE - A busy day of bug fixes

Today was a busy day of bug fixes, mostly minor. Here’s a nice list:

  • Added building the webstart files to the automatic build system
  • Removed references to the old SISC code
  • Fixed a crash when the syntax definitions couldn’t be loaded successfully
  • Fixed an error with dynamically reloading options
  • Added better sanity checks to option loading, defaulting to known values if necessary

All of this has prompted a new build: r113, available here.