Release 2.3.1
NEW: use default color scheme & font for table editor as well
FIX: ConcurrentModificationException tackled (table editor)
NEW: use default color scheme & font for table editor as well
FIX: ConcurrentModificationException tackled (table editor)