This patch replaces the UI for the panel widget options pop-up with a vertical menu, replating the current horizontal bar with icons on either side of a label. This yields the following improvements:
- Bigger hit areas; easier to click and much more touch-friendly
- Buttons have text labels; easier to tell what they do
- Fewer changes of direction required when mousing; it's possible to access all actions with only vertical motions