rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00
Code Issues Releases Activity

added setting to show always file extensions

Browse Source
This commit is contained in:
Michael michael.sytko 2017-01-28 12:35:57 +01:00 committed by Cristian Maglie
parent 74384400e2
commit d5a73dc419
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-core/src/processing/app/SketchFile.java
View File

@ -206,7 +206,7 @@ public class SketchFile {
* others.
*/
public String getPrettyName() {
if (isExtension(Sketch.SKETCH_EXTENSIONS))
if (!PreferencesData.getBoolean("editor.show_always_extensions") && isExtension(Sketch.SKETCH_EXTENSIONS))
return getBaseName();
else
return getFileName();