mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-22 13:19:48 +01:00
Linux and Windows: If you press "Ctrl+," to invoke the preferences dialog, the file on editor will be marked as "modified". This behavior fixed. Linux: If you press "Ctrl+/" to comment the line, the line will be replaced with a single "/" letter. This behavior fixed.