Version 0.3.9b
Update switchJumper.xhtml to avoid cyclic redirection.
Version 0.3.9
Hack to fix missing OK/Cancel buttons in Options dialog.
Merge branch 'master' into dev
Reduce visual glitch when closing and reopening the Options dialog.