GuiConfiguration.java

gehe zur Dokumentation dieser Datei

package de.lathanda.eos.common.gui;
 
import java.awt.Toolkit;
import java.io.File;
import java.io.FileInputStream;
import java.io.FileOutputStream;
import java.io.IOException;
import java.io.InputStream;
import java.io.OutputStream;
import java.util.LinkedList;
import java.util.Properties;
 
import de.lathanda.eos.base.ResourceLoader;
import de.lathanda.eos.base.util.ErrorBehavior;
import de.lathanda.eos.base.util.GuiToolkit;
 
public class GuiConfiguration {
 
 
    public static final GuiConfiguration def = new GuiConfiguration();
    private Properties configuration;
    private boolean dirty;
    private int fontsize;
    private int dpi;
    private double unit;
    private String language;
    private ErrorBehavior errorBehavior;
    private int errorNumber;
 
    private GuiConfiguration() {
        try {
            load();
        } catch (Exception e) {
            setDefault();
        }
    }
 
    private void load() throws IOException {
        String home = System.getProperty("user.home");
        File file = new File(home + "/.eos/guiconfig.ini");
        if (file.exists()) {
            try (InputStream in = new FileInputStream(file)) {
                load(in);
            }
        } else {
            try (InputStream in = ResourceLoader.getResourceAsStream("guiconfig.ini")) {
                load(in);
            }
        }
    }
 
    public void save() throws IOException {
        String home = System.getProperty("user.home");
        File dir = new File(home + "/.eos");
        File file = new File(home + "/.eos/guiconfig.ini");
        if (!(dir.exists() && dir.isDirectory())) {
            dir.mkdir();
        }
        save(new FileOutputStream(file));
    }
 
    private void load(InputStream in) throws IOException {
        configuration = new Properties();
        configuration.load(in);
        fontsize = Integer.valueOf(configuration.getProperty("fontsize"));
        errorBehavior = ErrorBehavior.decode(Integer.valueOf(configuration.getProperty("errorbehavior")));
        errorNumber = Integer.valueOf(configuration.getProperty("errornumber"));
        dpi = Integer.valueOf(configuration.getProperty("dpi", "0"));
        unit = Double.valueOf(configuration.getProperty("unit", "1"));
        language = configuration.getProperty("language","eos2");
        if (dpi == 0) {
            dpi = Toolkit.getDefaultToolkit().getScreenResolution();
        }
        GuiToolkit.setScreenResolution(dpi);
        dirty = false;
    }
 
    private void save(OutputStream out) throws IOException {
        configuration.setProperty("fontsize", Integer.toString(fontsize));
        configuration.setProperty("errorbehavior", Integer.toString(errorBehavior.encode()));
        configuration.setProperty("errornumber", Integer.toString(errorNumber));
        configuration.setProperty("dpi", Integer.toString(dpi));
        configuration.setProperty("unit", Double.toString(unit));
        configuration.setProperty("language", language);
        configuration.store(out, "EOS Configuration");
        dirty = false;
    }
 
    public void cleanup() throws Throwable {
        if (dirty) {
            save();
        }
    }
 
    private void setDefault() {
        fontsize = 12;
        errorBehavior = ErrorBehavior.WARN;
        errorNumber = 1;
        dirty = false;
    }
 
    public int getFontsize() {
        return fontsize;
    }
 
    public void setFontsize(int fontsize) {
        if (this.fontsize != fontsize) {
            this.fontsize = fontsize;
            fireFontsizeChanged();
        }
    }
    public String getLanguage() {
        return language;
    }
    public void setLanguage(String language) {
        this.language = language;
    }
 
    public int getNumberOfShownErrors() {
        return errorNumber;
    }
 
    public void setNumberOfShownErrors(int errorNumber) {
        this.errorNumber = errorNumber;
        dirty = false;
    }
 
    public ErrorBehavior getErrorBehavior() {
        return errorBehavior;
    }
 
    public void setErrorBehavior(ErrorBehavior errorBehavior) {
        if (this.errorBehavior != errorBehavior) {
            this.errorBehavior = errorBehavior;
            fireErrorBehaviorChanged();
        }
    }
 
    public int getDpi() {
        return dpi;
    }
 
    public void setDpi(int dpi) {
        if (dpi != this.dpi) {
            this.dpi = dpi;
            GuiToolkit.setScreenResolution(dpi);
            dirty = true;
        }
    }
 
    public double getUnit() {
        return unit;
    }
 
    public void setUnit(double unit) {
        if (unit != this.unit) {
            this.unit = unit;
            GuiToolkit.setUnit(unit);
            dirty = true;
        }
    }
 
    private LinkedList<GuiConfigurationListener> configurationListener = new LinkedList<>();
 
    public synchronized void addConfigurationListener(GuiConfigurationListener cf) {
        configurationListener.add(cf);
    }
 
    public synchronized void removeConfigurationListener(GuiConfigurationListener cf) {
        configurationListener.remove(cf);
    }
 
    public synchronized void fireFontsizeChanged() {
        dirty = true;
        configurationListener.forEach(cf -> cf.fontsizeChanged(fontsize));
    }
 
    public synchronized void fireErrorBehaviorChanged() {
        dirty = true;
        configurationListener.forEach(cf -> cf.errorBehaviorChanged(errorBehavior));
    }
 
    public interface GuiConfigurationListener {
        public default void fontsizeChanged(int fontsize) {
        }
 
        public default void errorBehaviorChanged(ErrorBehavior errorBehavior) {
        }
    }
}