Hide preferences icon on macOS

angr / angr-management

The official angr GUI.

BSD 2-Clause "Simplified" License

859 stars 108 forks source link

Closed twizmwazin closed 3 months ago

twizmwazin commented 3 months ago

The preferences option gets relocated to the application menu on macos, so the preferences option looks weird in that context.

With icon:

Without icon: