Improved UI for global priorities in mini editor.
Improved UI for global priorities in full editor.