X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.modeling.ui%2Fsrc%2Forg%2Fsimantics%2Fmodeling%2Fui%2Fdiagram%2Fmonitor%2FAvailableFontSizeFactory.java;h=14cef7c6450b00d5cb69a7d22378cb27178903e0;hb=95144e3b879f0a10715927027bb9a7aa8e05bdeb;hp=f1e1a7ab5cba960391816486b16d7c88f3f6c088;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.modeling.ui/src/org/simantics/modeling/ui/diagram/monitor/AvailableFontSizeFactory.java b/bundles/org.simantics.modeling.ui/src/org/simantics/modeling/ui/diagram/monitor/AvailableFontSizeFactory.java index f1e1a7ab5..14cef7c64 100644 --- a/bundles/org.simantics.modeling.ui/src/org/simantics/modeling/ui/diagram/monitor/AvailableFontSizeFactory.java +++ b/bundles/org.simantics.modeling.ui/src/org/simantics/modeling/ui/diagram/monitor/AvailableFontSizeFactory.java @@ -1,25 +1,25 @@ -package org.simantics.modeling.ui.diagram.monitor; - -import java.util.ArrayList; -import java.util.List; - -import org.simantics.browsing.ui.swt.widgets.impl.ReadFactoryImpl; -import org.simantics.db.ReadGraph; -import org.simantics.db.exception.DatabaseException; -import org.simantics.utils.datastructures.Pair; - -public class AvailableFontSizeFactory extends ReadFactoryImpl>> { - - @Override - public List> perform(ReadGraph graph, Object input) throws DatabaseException { - - Integer[] sizes = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 16, 18, 20, 22, 24, 26, 28, 36, 48, 72}; - ArrayList> result = new ArrayList>(); - for(Integer size : sizes) { - result.add(Pair.make(size.toString(), (Object)size)); - } - return result; - - } - -} +package org.simantics.modeling.ui.diagram.monitor; + +import java.util.ArrayList; +import java.util.List; + +import org.simantics.browsing.ui.swt.widgets.impl.ReadFactoryImpl; +import org.simantics.db.ReadGraph; +import org.simantics.db.exception.DatabaseException; +import org.simantics.utils.datastructures.Pair; + +public class AvailableFontSizeFactory extends ReadFactoryImpl>> { + + @Override + public List> perform(ReadGraph graph, Object input) throws DatabaseException { + + Integer[] sizes = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 16, 18, 20, 22, 24, 26, 28, 36, 48, 72}; + ArrayList> result = new ArrayList>(); + for(Integer size : sizes) { + result.add(Pair.make(size.toString(), (Object)size)); + } + return result; + + } + +}