Description
In your browser if you hit β + or β - a few times, you might not know how to get back to the default zoom. To remedy this, you can simply press β 0 to get back to default.
Currently in CodeEdit we can press β + to increase the font size, and β - to decrease the font size, but nothing to return to default. I'd like to be able to press β0 β β 0 to return to the default font size.
Description
In your browser if you hit β + or β - a few times, you might not know how to get back to the default zoom. To remedy this, you can simply press β 0 to get back to default.
Currently in CodeEdit we can press β + to increase the font size, and β - to decrease the font size, but nothing to return to default. I'd like to be able to press
β0β β 0 to return to the default font size.