Open rachel-fenichel opened 4 years ago
Describe the bug
The context menu does not scale when the workspace is zoomed. Neither do other instances of goog.ui.Menu, such as dropdown menus.
It's not clear what the correct solution is here. For instance, context menus in Chrome don't scale with page zoom.
Open questions:
Context menus should not scale with workspace zoom, to match browser behaviour. But they should match the font size of the rest of Blockly, which means they should change based on the workspace theme.
Describe the bug
The context menu does not scale when the workspace is zoomed. Neither do other instances of goog.ui.Menu, such as dropdown menus.
It's not clear what the correct solution is here. For instance, context menus in Chrome don't scale with page zoom.
Open questions: