ObjectScript Code

re #315: now openToLineNum() works in all cases

re #315: now deals properly with font changes, scrolling so the current cursor position is still visible after font changes

re #315: this seems to fix: #312

re #315: creating branch OBJS315

merging OBJS319 back to trunk (fixes #319)

re #319: use reflection to load worker, so we don't load any code that references AWT/swing if running in a headless configuration

re #319: fix a NPE when switching between desktop and window mode

re #319: if we always invokeLater when publishing, that seems to fix the deadlock... there is the minor drawback that preferences won't be published immediately resulting in them taking effect after the window is visible

re #319: hmm, deadlocks like this... maybe alway invokeLater would help

re #319: creating branch OBJS319