package com.megatim.manuel.studio;
|
|
import java.util.prefs.Preferences;
|
|
/**
|
* Préférences utilisateur du studio (java.util.prefs) : derniers dossiers,
|
* métadonnées, thème et géométrie de la fenêtre.
|
*/
|
public final class StudioPrefs {
|
|
private final Preferences prefs = Preferences.userNodeForPackage(StudioPrefs.class);
|
|
public String getOutputDir() { return prefs.get("outputDir", ""); }
|
public void setOutputDir(String v) { prefs.put("outputDir", v); }
|
|
public String getLastSourceDir() { return prefs.get("lastSourceDir", System.getProperty("user.home")); }
|
public void setLastSourceDir(String v) { prefs.put("lastSourceDir", v); }
|
|
public String getTitreProjet() { return prefs.get("titreProjet", ""); }
|
public void setTitreProjet(String v) { prefs.put("titreProjet", v); }
|
|
public String getVersion() { return prefs.get("version", "1.0.0"); }
|
public void setVersion(String v) { prefs.put("version", v); }
|
|
public String getTitreAide() { return prefs.get("titreAide", ""); }
|
public void setTitreAide(String v) { prefs.put("titreAide", v); }
|
|
public String getThemePath() { return prefs.get("themePath", ""); }
|
public void setThemePath(String v) { prefs.put("themePath", v); }
|
|
public double getWindowW() { return prefs.getDouble("windowW", 1240); }
|
public double getWindowH() { return prefs.getDouble("windowH", 760); }
|
public void setWindowSize(double w, double h) {
|
prefs.putDouble("windowW", w);
|
prefs.putDouble("windowH", h);
|
}
|
}
|