diff options
| author | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2019-02-27 02:45:17 +0100 |
|---|---|---|
| committer | Ignacio Etcheverry <ignalfonsore@gmail.com> | 2019-02-27 02:45:21 +0100 |
| commit | 3e0846e65b2ca4a6c7289d092715bbdc16b3848a (patch) | |
| tree | 4a857a48afc4eeec986f6d55b4f9c8eef1632c71 /platform/android/platform_config.h | |
| parent | 823fb59e107332de64dddd8e5d7f2fba92e95bb0 (diff) | |
Mono: Some editor usability improvements
- Move "Mono" popup menu from the top right corner to `Projects -> Tools` as a submenu.
- Add "Build solution" button to the top right corner. Makes it more visible and quicker to access.
- Fix build list in the bottom panel unselect an item when clicking on empty space. Previously it would hide the issues panel but the item would remain selected, making it impossible to display the issues panel again if there was only one item.
Diffstat (limited to 'platform/android/platform_config.h')
0 files changed, 0 insertions, 0 deletions