mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-18 12:54:25 +01:00
cut the filename at the last '.' not at the first in tab-names of the editor
This commit is contained in:
parent
3be6eb84b9
commit
efedfa7049
@ -87,7 +87,7 @@ public class SketchCode {
|
||||
|
||||
protected void makePrettyName() {
|
||||
prettyName = file.getName();
|
||||
int dot = prettyName.indexOf('.');
|
||||
int dot = prettyName.lastIndexOf('.');
|
||||
prettyName = prettyName.substring(0, dot);
|
||||
}
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user