Response from the site administrator
phantomwhale, 05.07.2011
During an preferences panel rewrite, it was a simple task to add this into the new list of options.
http://sw4fg2.tumblr.com/post/6585073671/a-new-options-panel-using-radio-buttons-similar