FontSize.java

package com.proalpha.java.oea.plugins.oeaextension.fontsizer;
 
import org.eclipse.core.runtime.preferences.InstanceScope;
import org.eclipse.ui.preferences.ScopedPreferenceStore;
 
public class FontSize {
 
    private enum Size {
        INCEASE, DECREASE
    }
 
    private ScopedPreferenceStore store;
    private static FontSize fontSize;
 
    public static FontSize getInstance() {
 
        if (fontSize == null)
            fontSize = new FontSize();
 
        return fontSize;
    }
 
    private FontSize() {
        this.store = new ScopedPreferenceStore(InstanceScope.INSTANCE, "org.eclipse.ui.workbench");
    }
 
    public void increaseFont() {
        changeFontSize(Size.INCEASE);
    }
 
    public void decreaseFont() {
        changeFontSize(Size.DECREASE);
    }
 
    private void changeFontSize(Size size) {
 
        if (this.store != null) {
 
            String font = this.store.getString("org.eclipse.jface.textfont");
 
            if (font != null && !"".equals(font)) {
 
                try {
                    String[] split = font.split("\\|");
 
                    float fontSize = 1.0F;
 
                    if (size == Size.INCEASE)
                        fontSize = Float.parseFloat(split[2]) + 1.0F;
                    else
                        fontSize = Float.parseFloat(split[2]) - 1.0F;
 
                    // Limit font size
                    if (fontSize <= 0.0F) {
                        fontSize = 1.0F;
                    }
 
                    split[2] = Float.toString(fontSize);
                    StringBuilder builder = new StringBuilder(split[0]);
                    for (int i = 1; i < split.length; i++) {
                        builder.append('|').append(split[i]);
                    }
                    this.store.setValue("org.eclipse.jface.textfont", builder.toString());
 
                } catch (Exception e) {
                    // Just catch the exception and do nothing
                }
            }
        }
    }
 
}