Closed djalbat closed 3 months ago
Instead the default behaviour of zooming in and out happens even when the pretty printer clearly has the focus.
Instead the default behaviour of zooming in and out happens even when the pretty printer clearly has the focus.