InternationalInputApp.java

Go to the documentation of this file.

// (C) 2003 by Dominique Unruh. GPL

import java.applet.*;
import javax.swing.*;
import javax.swing.event.*;
import java.net.*;
import java.util.*;
import java.io.*;
import java.awt.*;
import java.awt.event.*;
import javax.jnlp.*;

public class InternationalInputApp 
    extends JApplet {
    public static final int MAX_LOG_SIZE = 10000;
    public static final int LOG_CUT_SIZE = 9000;
    public static final String FRAME_TITLE = "International Input";

    InternationalInput internationalInput;
    StringBuffer log = new StringBuffer();

    public static class AppletInternationalInputContext 
        extends NullInternationalInputContext {

        InternationalInputApp applet = null;

        public AppletInternationalInputContext(InternationalInputApp _applet) {
            applet = _applet; }
        public void showInfo(String info, boolean log) {
            if (log) {
                applet.log.append(info);
                applet.log.append("\n");
                if (applet.log.length()>MAX_LOG_SIZE)
                    applet.log.delete(0,applet.log.length()-LOG_CUT_SIZE);
            }
            applet.showStatus(info); }
        public URL getDocumentBase() { return applet.getDocumentBase(); };
        public void showDocument(URL url, boolean top) { 
            applet.getAppletContext().showDocument
                (url, top?"intinp-top":"copy"); }
        public void addMenuBar(JMenuBar menuBar) {
            applet.setJMenuBar(menuBar); }
        public Properties getProperties(String names[]) {
            Properties props = new Properties();
            for (int i=0; i<names.length; i++) {
                String val = applet.getParameter(names[i]);
                if (val!=null) props.setProperty(names[i],val);
            }
            return props;
        }

        public boolean isExitAllowed() { return false; }
    };

    public static class StandAloneInternationalInputContext
        extends NullInternationalInputContext {
        JFrame frame = null;
        JLabel statusBar = null;
        JFrame browserFrame = null;
        JEditorPane browser = null;

        public StandAloneInternationalInputContext(JFrame _frame, JLabel _sb) {
            frame = _frame; statusBar = _sb; }

        public Properties getProperties(String names[]) {
            return System.getProperties();
        }

        public URL getDocumentBase() {
            try {
                String cwd = new File("").toURL().toString();
                if (!cwd.endsWith("/")) cwd += "/";
                return new URL(cwd);
            } catch (MalformedURLException e) {
                throw new UnsupportedOperationException
                    ("Could not convert current dir to URL: "+e.getMessage());
            }
        }
        public void addMenuBar(JMenuBar menuBar) {
            frame.setJMenuBar(menuBar);
        }
        public void showDocument(URL url, boolean top) {
            try {
                createBrowser().setPage(url);
            } catch (IOException e) {
                e.printStackTrace();
                throw new RuntimeException(e.toString());
            }
        }

        public void showDocumentFromString(String source) {
            JEditorPane browser = createBrowser();
            browser.setContentType("text/html");
            browser.setText(source);
        }

        JEditorPane createBrowser() {
            if (browserFrame!=null) {
                browserFrame.setVisible(true);
                browserFrame.setState(Frame.NORMAL);
                return browser;
            }

            browserFrame = new JFrame("International Input - Browser");
            browserFrame.setDefaultCloseOperation(JFrame.HIDE_ON_CLOSE);
            browser = new JEditorPane();
            Font oldFont = browser.getFont();
            String tryFonts[] = { "Arial Unicode MS", "Code2000", 
                                  "Bitstream Cyberbit" };
            for (int i=0; i<tryFonts.length; i++) {
                try {
                    Font newFont = new Font(tryFonts[i],
                                       Font.PLAIN,oldFont.getSize());
                    if (newFont.getFamily().equals(tryFonts[i])) {
                        browser.setFont(newFont);
                        break;
                    }
                } catch (Throwable e) { e.printStackTrace(); };
            }

            JScrollPane scroll = new JScrollPane();
            scroll.setViewportView(browser);
            browser.setEditable(false);
            browser.addHyperlinkListener(new HyperlinkListener() {
                    public void hyperlinkUpdate(HyperlinkEvent e) {
                        JEditorPane ed = (JEditorPane)e.getSource();
                        try {
                            if (e.getEventType()==HyperlinkEvent.EventType.ACTIVATED)
                                ed.setPage(e.getURL());
                        } catch (IOException ex) {
                            ed.setContentType("text/plain");
                            ed.setText(ex.toString());
                            ex.printStackTrace();
                        }
                    }
                });
            browserFrame.getContentPane().add(scroll);
            browserFrame.setSize(800,600);
            browserFrame.setVisible(true);
            return browser;
        }
        public void showInfo(String info, boolean log) {
            if (log) System.out.println(info);
            if (info.length()==0) info = " ";
            statusBar.setText(info);
        }

        public void setTitleInfo(String info) {
            if (info==null)
                frame.setTitle(FRAME_TITLE);
            else
                frame.setTitle(FRAME_TITLE+" - "+info);
        }

        public boolean isExitAllowed() { return true; }
    }

    public static class WebStartInternationalInputContext 
        extends StandAloneInternationalInputContext {
        BasicService basicService;
        public WebStartInternationalInputContext(JFrame _frame, JLabel _sb) {
            super(_frame,_sb); 
            try {
                basicService = (BasicService)ServiceManager.lookup("javax.jnlp.BasicService");
            } catch (UnavailableServiceException ex) {};
        }
        public Properties getProperties(String names[]) {
            Properties prop = System.getProperties();
            String config = prop.getProperty("config","config.inp.gz");
            if (config.indexOf(":") == -1)
                config = getClass().getClassLoader().getResource(config).toString();
            prop.setProperty("config",config);
            return prop;
        }
        public URL getDocumentBase()
            throws UnsupportedOperationException {
            if (basicService==null) 
                throw new UnsupportedOperationException
                    ("Can't determine code base: No BasicService");
            return basicService.getCodeBase();
        }
        public void showDocument(URL url, boolean top) { 
            if (basicService==null) { super.showDocument(url,top); return; };
            if (!basicService.isWebBrowserSupported()) {
                super.showDocument(url,top); return; };
            basicService.showDocument(url); 
        }
    }

    public static String getenv(String name) {
        if (!System.getProperty("file.separator").equals("/")) return null;
        try {
            Process pr = Runtime.getRuntime().exec(new String[] { "sh", "-c", "echo \"$"+name+"\"" });

            BufferedReader r = new BufferedReader
                (new InputStreamReader
                 (pr.getInputStream()));
            String val = r.readLine();
            pr.destroy();
            return val;
        } catch (IOException e) {
            e.printStackTrace();
            return null;
        }
    }

    public static void initHttpClient() {
        String proxy = System.getProperty("http.proxyHost");
        if (proxy==null)
            proxy = System.getProperty("http.proxyHost");
        while (proxy==null) {
            String proxyEnv = getenv("http_proxy");
            String errmsg = "Environment variable http_proxy has unidentifiable value "+proxyEnv+":";
            if (proxyEnv==null) break;
            if (!proxyEnv.startsWith("http://")) {
                System.err.println(errmsg);
                System.err.println("Does not begin with http://");
                break;
            }
            proxyEnv = proxyEnv.substring(7);
            int idx = proxyEnv.indexOf(':');
            if (idx == -1 || idx==proxyEnv.length()) {
                System.err.println(errmsg);
                System.err.println("No : found after host");
                break;
            }
            proxy = proxyEnv.substring(0,idx);
            int idx2 = proxyEnv.indexOf('/');
            if (idx2==-1) idx2 = proxyEnv.length();
            int proxyPort;
            try {
                proxyPort = Integer.parseInt(proxyEnv.substring(idx+1,idx2));
            } catch (NumberFormatException e) {
                System.err.println(errmsg);
                System.err.println("No integer after : (found "+proxyEnv.substring(idx,idx2)+" there)");
                break;
            }
            System.setProperty("http.proxyHost",proxy);
            System.setProperty("http.proxyPort",Integer.toString(proxyPort));
            break;
        }
        String agent = System.getProperty("http.agent");
        if (agent==null)
            System.setProperty("http.agent","International Input");
    }

    public static void main(String args[]) {
        boolean webStart = false;
        try {
            Class.forName("javax.jnlp.ServiceManager");
            System.out.println("Using Java Web-Start");
            webStart = true;
        } catch (Throwable th) {};
        try {
            if (!webStart) initHttpClient();
        } catch (SecurityException ex) {
            ex.printStackTrace();
        }
        JFrame frame = new JFrame(FRAME_TITLE);
        frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
        JPanel statusPane = new JPanel(new GridLayout(1,1));
        JLabel statusBar = new JLabel("International Input loaded.");
        statusPane.add(statusBar);
        InternationalInputContext context;
        if (!webStart)
            context = new StandAloneInternationalInputContext(frame,statusBar);
        else
            context = new WebStartInternationalInputContext(frame,statusBar);
        InternationalInput intinp = new InternationalInput(context); 
        frame.getContentPane().add("Center",intinp);
        frame.getContentPane().add("South",statusBar);

        frame.pack();
        frame.setSize(400,400);
        if (webStart || System.getProperty("nogui")==null)
            frame.setVisible(true);
        else
            System.out.println("No GUI");
        for (int i=0; i<args.length; i++) {
            intinp.loadConfig(args[i]); }
        intinp.ready();
    }

    public void init() {
        internationalInput = new InternationalInput
        (new AppletInternationalInputContext(this));
        getContentPane().add(internationalInput);
        validate();
        internationalInput.ready();
    }

    public void stop() {
        Todo.reset();
    }

    public String copyText() {
        return internationalInput.copyText(true);
    }
    public void setClipboardContent(String data) {
        internationalInput.setClipboardContent(data);
    }
    /*    public boolean hasChangedSinceMirror() {
        return internationalInput.hasChangedSinceMirror();
        }*/
    /*public String mirror() {
        return internationalInput.mirror();
        }*/
    public void noButtons() {
        internationalInput.noButtons();
    }
    public void clearText() {
        new Todo(internationalInput) {
            public void action() {
                ((InternationalInput)arg1).clearText(); }};
    }
    public String getDocumentation(String group) {
        return internationalInput.getDocumentation(group);
    }

    /* 
    /*public String getScreenName(String group) {
        return internationalInput.getScreenName(group);
        }*/
    /* 
    /* public String lastActivatedGroup() {
        return internationalInput.lastActivatedGroup();
        }*/

    public void loadConfig(String config) {
        new Todo(internationalInput,config) {
            public void action() throws IOException {
                ((InternationalInput)arg1).
                    loadConfig((String)arg2);
            }};
    }
    public void loadConfigString(String config) throws IOException {
        new Todo(internationalInput,config) {
            public void action() throws IOException {
                ((InternationalInput)arg1).
                    loadConfigString((String)arg2);
            }};
    }

    public String getLog() {
        String context = new String(log);
        log.setLength(0);
        return context;
    }

    public void pasteText(boolean temporary) {
        new Todo(internationalInput,new Boolean(temporary)) {
            public void action() throws IOException {
                ((InternationalInput)arg1).pasteText
                    (((Boolean)arg2).booleanValue());
            }};
    }
    public String getCurrentDocumentation() {
        return internationalInput.getCurrentDocumentation(); }
}

---