somebody1234 de81643a72 Change context menu styling for non-macOS platforms (#7578) ... - Closes #7576 - Stop using icons for non-macOS platforms, because it is non-standard to use icons - Increase width otherwise entries will line wrap # Important Notes None		2023-08-18 10:25:22 +00:00
..
gui	Use Enso Font (#7516)	2023-08-17 18:36:12 +00:00
ide-desktop	Change context menu styling for non-macOS platforms (#7578)	2023-08-18 10:25:22 +00:00