Neues Jacareto-Release

Veröffentlicht: Samstag, März 17, 2007 in Jacareto

Endlich – nach fast einem Jahr Pause – habe ich ein neues Jacareto-Release herausbringen können. Die größte Neuerung ist dabei der Wechsel zu Java 1.5. Außerdem gibt es einige kleinere Änderungen und Bug Fixes. Die neue Version 0.7.12 kann auf der Jacareto-Projektseite heruntergeladen werden.

Hier die Änderungen im Detail:

  • Jacareto needs now Java 1.5.
  • improved replay input filter
  • new replay mode option: safe mode (enabled/disables the replay input filters)
  • Session options are introduced. The first session option is „Full Replay Reset“.
  • The default is true which means that everytime when the replay process starts, a new class loader is used. When this option is set to false, the same class loader is used in several „runs“.
  • Picorder now accepts more than 9 command line options in Windows.
  • Bug fixed: Popup menues now work again with Java 1.5
  • Bug fixed: Picorder now first logs the starter and afterwards the semantic events which occur during start-up.
  • updated Jakarta commons to 2.3
  • new class EnhandedEditor which offers standard methods for adding GUI components.
  • The modules directory now has a subdirectory „resources“. In this directory, jar files with resources for the modules (images etc.) can be stored.
  • Bug fixed: some components in the drawing window had the wrong background color.
  • Bug fixed: method structureElementChanged in ReadAccessRecord threw NullPointerExceptions when starting an application with Picorder (duration changed in the Starter)
  • The ComponentsTree shows indicator strings which allow for identifiing components more easily. This indicator string is, for example, the text of a button or a menu item.

Schreibe einen Kommentar

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:

WordPress.com-Logo

Du kommentierst mit Deinem WordPress.com-Konto. Abmelden / Ändern )

Twitter-Bild

Du kommentierst mit Deinem Twitter-Konto. Abmelden / Ändern )

Facebook-Foto

Du kommentierst mit Deinem Facebook-Konto. Abmelden / Ändern )

Google+ Foto

Du kommentierst mit Deinem Google+-Konto. Abmelden / Ändern )

Verbinde mit %s