fonts.FontsControler.java Source code

Introduction

Here is the source code for fonts.FontsControler.java

Source

/*
* Licensed under the Apache License, Version 2.0 (the "License");
*  you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
*    http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
*  distributed under the License is distributed on an "AS IS" BASIS,
*  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
*  See the License for the specific language governing permissions and
*  limitations under the License.
*/
package fonts;

import org.eclipse.core.runtime.preferences.InstanceScope;
import org.eclipse.jface.resource.JFaceResources;
import org.eclipse.ui.preferences.ScopedPreferenceStore;

/**
 * @author Guy Korland
 */
public class FontsControler {

    final private static FontsControler controler = new FontsControler();

    final private ScopedPreferenceStore store = new ScopedPreferenceStore(new InstanceScope(),
            "org.eclipse.ui.workbench");

    private FontsControler() {
    }

    public static FontsControler getFontsControler() {
        return controler;
    }

    public synchronized void increase() {

        String font = store.getString(JFaceResources.TEXT_FONT);
        String[] split = font.split("\\|");
        float fontSize = Float.parseFloat(split[2]) + 1;

        split[2] = Float.toString(fontSize);
        StringBuilder builder = new StringBuilder(split[0]);
        for (int i = 1; i < split.length; ++i) {
            builder.append('|').append(split[i]);
        }
        store.setValue(JFaceResources.TEXT_FONT, builder.toString());

    }

    public synchronized void decrease() {
        String font = store.getString(JFaceResources.TEXT_FONT);
        String[] split = font.split("\\|");
        float fontSize = Float.parseFloat(split[2]) - 1;
        if (fontSize <= 0)
            fontSize = 1;

        split[2] = Float.toString(fontSize);
        StringBuilder builder = new StringBuilder(split[0]);
        for (int i = 1; i < split.length; ++i) {
            builder.append('|').append(split[i]);
        }
        store.setValue(JFaceResources.TEXT_FONT, builder.toString());
    }
}