Adjust tag interface in editor

Fixes #114

This changes the global checkbox to a local or global
radiogroup, to make it clear that there are two different
source of tag info. To make the interface a little more workable
the radio buttons are floated right and the tag interface narrowed.