From 8943b7ccbe8b9996e1bde1150665874b89b3a72f Mon Sep 17 00:00:00 2001 From: "Michael michael.sytko" Date: Mon, 30 Jan 2017 22:36:33 +0100 Subject: [PATCH] added custom title format setting (editor.custom_title_format) --- app/src/processing/app/Editor.java | 24 +++++++++++++++++++----- 1 file changed, 19 insertions(+), 5 deletions(-) diff --git a/app/src/processing/app/Editor.java b/app/src/processing/app/Editor.java index 00dacb7bb..e68ca4778 100644 --- a/app/src/processing/app/Editor.java +++ b/app/src/processing/app/Editor.java @@ -38,6 +38,7 @@ import processing.app.helpers.DocumentTextChangeListener; import processing.app.helpers.Keys; import processing.app.helpers.OSUtils; import processing.app.helpers.PreferencesMapException; +import processing.app.helpers.StringReplacer; import processing.app.legacy.PApplet; import processing.app.syntax.PdeKeywords; import processing.app.syntax.SketchTextArea; @@ -1935,12 +1936,25 @@ public class Editor extends JFrame implements RunnerListener { return; } SketchFile current = getCurrentTab().getSketchFile(); - if (current.isPrimary()) { - setTitle(I18n.format(tr("{0} | Arduino {1}"), sketch.getName(), - BaseNoGui.VERSION_NAME_LONG)); + String customFormat = PreferencesData.get("editor.custom_title_format"); + if (customFormat != null && !customFormat.trim().isEmpty()) { + Map titleMap = new HashMap(); + titleMap.put("file", current.getFileName()); + String path = sketch.getFolder().getAbsolutePath(); + titleMap.put("folder", path); + titleMap.put("path", path); + titleMap.put("project", sketch.getName()); + titleMap.put("version", BaseNoGui.VERSION_NAME_LONG); + + setTitle(StringReplacer.replaceFromMapping(customFormat, titleMap)); } else { - setTitle(I18n.format(tr("{0} - {1} | Arduino {2}"), sketch.getName(), - current.getFileName(), BaseNoGui.VERSION_NAME_LONG)); + if (current.isPrimary()) { + setTitle(I18n.format(tr("{0} | Arduino {1}"), sketch.getName(), + BaseNoGui.VERSION_NAME_LONG)); + } else { + setTitle(I18n.format(tr("{0} - {1} | Arduino {2}"), sketch.getName(), + current.getFileName(), BaseNoGui.VERSION_NAME_LONG)); + } } }