GUI improvements

GUI improvements:

  • Tools > renamed to ‘Advanced’ and completely rearranged
  • File:
    • Snapshot > Export
    • Legacy Save > Advanced
  • Edit:
    • Detail pane > Advanced
    • Appending > Advanced
  • Exports:
    • Anonymized Map > Advanced
    • Interactive HTML > further down
    • Printable HTML > further down
    • Imapping > further down
    • DWZ > further down
  • View deleted,
    • Hyperlinks > Advanced
    • Accelerate > Advanced
    • Borders > Advanced
    • Menu Bar > Advanced
    • Big Icons > Advanced