Closed laggycomputer closed 2 years ago
An unrelated issue that affects this feature is that when the browser zooms in then returns to normal, the editor element is shortened permanently until reload. This may affect users who try to use browser zoom then revert the zoom to normal and then use the buttons from this PR, who may then find that the editor is much shorter than expected. This issue is unrelated but important to point out.
+
and-
buttons to change text editor font size by ±1 pixel (0d8adb4aa279bf4fa768fa5a4344c0177f2d85b9)