You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
preferences.editor_and_console_font = Editor and Console font
166
166
preferences.editor_and_console_font.tip = Select the font used in the Editor and the Console.<br>Only monospaced (fixed-width) fonts may be used,<br>though the list may be imperfect.
167
167
preferences.editor_font_size = Editor font size
@@ -273,9 +273,9 @@ tweak_mode.keep_changes.line1 = Keep the changes?
273
273
tweak_mode.keep_changes.line2 = You changed some values in your sketch. Would you like to keep the changes?
0 commit comments