+* add a dialog to allow selecting the default border from among those present + in the theme (e.g. winter provides a 'square' border). after a theme change + this should fall back to "default" if the selected one doesn't exist in the + new theme.
Wouldn't you need a full set of optional borders? square_dialog etc? Sebastian