annotate examples/util/FontInfo.java @ 8:5e3cbbf173aa tip

Reorganise some more
author samer
date Fri, 05 Apr 2019 22:41:58 +0100
parents bf79fb79ee13
children
rev   line source
samer@0 1 package eg.util;
samer@0 2 import samer.core.*;
samer@0 3 import java.awt.*;
samer@0 4
samer@0 5 public class FontInfo implements Agent
samer@0 6 {
samer@0 7 public FontInfo()
samer@0 8 {
samer@0 9 Shell.registerAgent(this);
samer@0 10 Shell.exposeCommands(this);
samer@0 11 }
samer@0 12
samer@0 13 public void getCommands(Registry r) {
samer@0 14 r.add("list1").add("list2").add("setfont");
samer@0 15 }
samer@0 16
samer@0 17 public void execute(String cmd, Environment env) throws Exception
samer@0 18 {
samer@0 19 if (cmd.equals("list1")) {
samer@0 20 String [] fonts=Toolkit.getDefaultToolkit().getFontList();
samer@0 21 Shell.print("fonts via Toolkit");
samer@0 22 for (int i=0; i<fonts.length; i++) {
samer@0 23 Shell.print(" "+fonts[i]);
samer@0 24 }
samer@0 25 } else if (cmd.equals("list2")) {
samer@0 26 String [] fonts=GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames();
samer@0 27 Shell.print("fonts via GraphicsEnvironment");
samer@0 28 for (int i=0; i<fonts.length; i++) {
samer@0 29 Shell.print(" "+fonts[i]);
samer@0 30 }
samer@0 31 }
samer@0 32 }
samer@0 33 }
samer@0 34