- fix : options icon hit area was extending the full length of MagStatusBar.
- added JTabbedPane to preferences dialog to better organize options and to prevent running out of space.
- moved theme settings into separate Theme tab.
- reduced height of preferences dialog.
- Added new "Deck Editor/Explorer" preference setting that if set will only refresh card preview image when actual table entry is selected instead of when mouse cursor moves over it. Default is false so behaviour will remain the same as before.
added {R} to represent cost of return this permanent to its owner's hand
replace groovy script with card script
replace notation for play at most once from {O} to {Once}