GrxJythonPromptView.java

Go to the documentation of this file.

/*
 * Copyright (c) 2008, AIST, the University of Tokyo and General Robotix Inc.
 * All rights reserved. This program is made available under the terms of the
 * Eclipse Public License v1.0 which accompanies this distribution, and is
 * available at http://www.eclipse.org/legal/epl-v10.html
 * Contributors:
 * General Robotix Inc.
 * National Institute of Advanced Industrial Science and Technology (AIST) 
 */
/*
 *  GrxJythonPromptView.java
 *
 *  Copyright (C) 2007 GeneralRobotix, Inc.
 *  All Rights Reserved
 *
 *  @author Yuichiro Kawasumi (General Robotix, Inc.)
 */
 
package com.generalrobotix.ui.view;
 
 
import java.awt.Frame;
import java.io.File;
import java.io.IOException;
import java.io.PrintWriter;
import java.io.Writer;
import java.net.URL;
import java.util.LinkedList;
import java.util.List;
 
import javax.swing.JOptionPane;
 
import org.eclipse.jface.action.Action;
import org.eclipse.jface.action.ActionContributionItem;
import org.eclipse.jface.action.IAction;
import org.eclipse.jface.action.IContributionItem;
import org.eclipse.jface.action.ICoolBarManager;
import org.eclipse.jface.action.IToolBarManager;
import org.eclipse.jface.action.ToolBarContributionItem;
import org.eclipse.jface.dialogs.MessageDialog;
import org.eclipse.jface.window.ApplicationWindow;
import org.eclipse.swt.SWT;
import org.eclipse.swt.awt.SWT_AWT;
import org.eclipse.swt.custom.StyledText;
import org.eclipse.swt.custom.VerifyKeyListener;
import org.eclipse.swt.events.SelectionEvent;
import org.eclipse.swt.events.SelectionListener;
import org.eclipse.swt.events.VerifyEvent;
import org.eclipse.swt.graphics.Image;
import org.eclipse.swt.layout.GridData;
import org.eclipse.swt.layout.GridLayout;
import org.eclipse.swt.widgets.Button;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Display;
import org.eclipse.ui.IWorkbenchWindow;
import org.eclipse.ui.PlatformUI;
import org.python.core.Py;
import org.python.core.PyList;
import org.python.core.PyString;
import org.python.util.InteractiveInterpreter;
 
import com.generalrobotix.ui.GrxBaseItem;
import com.generalrobotix.ui.GrxBaseView;
import com.generalrobotix.ui.GrxBaseViewPart;
import com.generalrobotix.ui.GrxPluginManager;
import com.generalrobotix.ui.grxui.Activator;
import com.generalrobotix.ui.item.GrxPythonScriptItem;
import com.generalrobotix.ui.util.GrxCorbaUtil;
import com.generalrobotix.ui.util.MessageBundle;
 
@SuppressWarnings("serial") //$NON-NLS-1$
public class GrxJythonPromptView extends GrxBaseView { 
    private InteractiveInterpreter interpreter_ = new InteractiveInterpreter();
    private Thread thread_1_;
    private Thread thread_2_;
    private String prompt_ = ">>> "; //$NON-NLS-1$
    private Display display_;
    private Composite parent_;
    private StyledText styledText_;
    private MenuDialog menuDialog;
    private Frame frame_;
    private static final int HISTORY_SIZE = 50;
    private List<String> history_ = new LinkedList<String>();
    private int hpos_ = 0;
    private String com_;
    private Button btnExec_;
    private Writer writer_;
    private GrxPythonScriptItem currentItem_;
    private String message_;
    private Object result_;
 
    private static final int KS_SHIFT = SWT.SHIFT;
    private static final int KS_CONTROL = SWT.CTRL;
    private static final int KS_CTRL_U = 'u' | SWT.CTRL;
    private static final int KS_CTRL_A = 'a' | SWT.CTRL;
    private static final int KS_CTRL_E = 'e' | SWT.CTRL;
    private static final int KS_CTRL_F = 'f' | SWT.CTRL;
    private static final int KS_CTRL_B = 'b' | SWT.CTRL;
    private static final int KS_CTRL_N = 'n' | SWT.CTRL;
    private static final int KS_CTRL_P = 'p' | SWT.CTRL;
    private static final int KS_UP = SWT.ARROW_UP;
    private static final int KS_DOWN = SWT.ARROW_DOWN;
    private static final int KS_LEFT = SWT.ARROW_LEFT;
    private static final int KS_RIGHT = SWT.ARROW_RIGHT;
    private static final int KS_ENTER = SWT.CR;
    private static final int KS_ENTER_ALT = SWT.CR | SWT.ALT;
    private static final int KS_ENTER_CTRL = SWT.CR | SWT.CTRL;
    private static final int KS_ENTER_SHIFT = SWT.CR | SWT.SHIFT;
    private static final int KS_BACK_SPACE = SWT.BS;
    private static final int KS_DELETE = SWT.DEL;
  
    private Image simScriptStartIcon_;
    private Image simScriptStopIcon_;
    private StyledTextWriter stWriter_;
    
    private static final int INTERVAL=100;  // StyledText の更新間隔(ms)  //
    
    public GrxJythonPromptView(String name, GrxPluginManager manager, GrxBaseViewPart vp, Composite parent) {
        super(name, manager, vp, parent);
 
        display_ = parent.getDisplay();
        parent_ = parent;
        composite_.setLayout(new GridLayout(1,false));
        simScriptStartIcon_ = Activator.getDefault().getImage( "sim_script_start.png" ); //$NON-NLS-1$
        simScriptStopIcon_ = Activator.getDefault().getImage( "sim_script_stop.png"); //$NON-NLS-1$
        frame_ = SWT_AWT.new_Frame(new Composite(parent.getShell(),SWT.EMBEDDED));
        
        btnExec_ = new Button(composite_,SWT.TOGGLE);
        btnExec_.setImage(simScriptStartIcon_);
        btnExec_.setText(MessageBundle.get("GrxJythonPromptView.button.execute")); //$NON-NLS-1$
        //btnExec_.setPreferredSize(GrxBaseView.getDefaultButtonSize());
        //btnExec_.setMaximumSize(GrxBaseView.getDefaultButtonSize());
        btnExec_.setEnabled(false);
        
        styledText_ = new StyledText(composite_,SWT.MULTI|SWT.V_SCROLL|SWT.WRAP);
        styledText_.setEditable(false);
        styledText_.setText(prompt_);
        styledText_.addVerifyKeyListener(new ConsoleKeyListener());
        styledText_.setEditable(true);
        styledText_.setLayoutData(new GridData(GridData.FILL_BOTH));
        
        btnExec_.addSelectionListener(new SelectionListener(){
 
            public void widgetDefaultSelected(SelectionEvent e) {
            }
 
            public void widgetSelected(SelectionEvent e) {
                selectedExecBtn();
            }
            
        });
             
        
        stWriter_ = new StyledTextWriter();
        writer_ =  new PrintWriter(stWriter_);
        interpreter_.setErr(writer_);
        interpreter_.setOut(writer_);
        interpreter_.set("uimanager", manager_); //$NON-NLS-1$
        interpreter_.exec("import sys"); //$NON-NLS-1$
        String dir = Activator.getDefault().getPreferenceStore().getString("JYTHON_LIB"); //$NON-NLS-1$
        if(dir.equals("")) //$NON-NLS-1$
                dir = System.getenv("JYTHON_LIB"); //$NON-NLS-1$
        if(dir!=null){
                String dirs[] = dir.split(":");
                for (int i=0; i<dirs.length; i++){
                        File f = new File(dirs[i]);
                        if (f.exists()){
                                interpreter_.exec("sys.path.append('"+dirs[i]+"')"); //$NON-NLS-1$ //$NON-NLS-2$
                                File[] files = f.listFiles();
                                for (int j=0; j<files.length; j++){
                                        if (files[j].getName().endsWith(".jar")){
                                        interpreter_.exec("sys.path.append('"+files[j].getAbsolutePath()+"')"); //$NON-NLS-1$ //$NON-NLS-2$
                                        }
                                }
                        }
                }
        }
        dir = Activator.getDefault().getPreferenceStore().getString("PROJECT_DIR"); //$NON-NLS-1$
        if(dir.equals("")) //$NON-NLS-1$
                dir = System.getenv("PROJECT_DIR"); //$NON-NLS-1$
        if(dir!=null)
                dir += "/../script"; //$NON-NLS-1$
        if(dir !=null && new File(dir).exists())
                interpreter_.exec("sys.path.append('"+dir+"')"); //$NON-NLS-1$ //$NON-NLS-2$
        URL[] urls = manager_.pluginLoader_.getURLs();
        for (int i=0; i<urls.length; i++) {
            interpreter_.exec("sys.path.append('"+urls[i].getPath()+"')"); //$NON-NLS-1$ //$NON-NLS-2$
            interpreter_.exec("print \"sys.path.append(\'"+urls[i].getPath()+"\')\""); //$NON-NLS-1$ //$NON-NLS-2$
        }
        if(dir!=null && new File(dir).exists())
                interpreter_.exec("import rbimporter"); //$NON-NLS-1$
        interpreter_.exec("import __builtin__"); //$NON-NLS-1$
        
        interpreter_.set("view", this); //$NON-NLS-1$
        interpreter_.exec("__builtin__.waitInput = view.waitInput"); //$NON-NLS-1$
        interpreter_.exec("__builtin__.waitInputConfirm = view.waitInputConfirm"); //$NON-NLS-1$
        interpreter_.exec("__builtin__.waitInputSelect = view.waitInputSelect"); //$NON-NLS-1$
        interpreter_.exec("__builtin__.waitInputMessage = view.waitInputMessage"); //$NON-NLS-1$
        interpreter_.exec("__builtin__.waitInputMenu = view.waitInputMenu"); //$NON-NLS-1$
        interpreter_.exec("__builtin__.waitInputSetMessage = view.waitInputSetMessage"); //$NON-NLS-1$
        interpreter_.exec("del view\n"); //$NON-NLS-1$
        interpreter_.exec("del __builtin__"); //$NON-NLS-1$
        history_.add(""); //$NON-NLS-1$
        setNameService();
        
        setMenuItem(new InitPythonAction());
        setScrollMinSize(SWT.DEFAULT,SWT.DEFAULT);
        
        setUp();
        manager_.registerItemChangeListener(this, GrxPythonScriptItem.class);
      
        Runnable stringOutRun_ = new Runnable() {
                        public void  run() {
                                if(composite_!=null && !composite_.isDisposed()){
                                        Display display = composite_.getDisplay();
                                        if (!display.isDisposed()){
                                                display.timerExec(INTERVAL, this);
                                                String string=stWriter_.read();
                                                if(!string.equals("")){
                                                        styledText_.append(string);
                                                        styledText_.setCaretOffset(styledText_.getText().length());
                                                        styledText_.setTopIndex(styledText_.getLineCount());
                                                }
                                                if(btnExec_.isEnabled() && btnExec_.getSelection()){
                                                        if( (thread_1_==null || !thread_1_.isAlive()) && (thread_2_==null || !thread_2_.isAlive()) ){
                                                                btnExec_.setSelection(false);
                                styleExecBtn(false);
                                                        }
                                                }
                                        }
                                }
                        }
                };
                Display display = composite_.getDisplay();
                if (!display.isDisposed())
                        display.timerExec(INTERVAL, stringOutRun_);
 
                updateEditerFont();
    }
     
    public void setUp(){
        currentItem_ = manager_.<GrxPythonScriptItem>getSelectedItem(GrxPythonScriptItem.class, null);
        btnExec_.setEnabled(currentItem_ != null);
    }
    
    private class InitPythonAction extends Action{
        public InitPythonAction(){
            super("cleanup python",IAction.AS_PUSH_BUTTON); //$NON-NLS-1$
        }
        public void run(){
            interpreter_.cleanup();
            interpreter_.exec("rbimporter.refresh()"); //$NON-NLS-1$
        }
    }
    
    public void interrupt() {
        if (thread_1_ != null) 
                interpreter_.interrupt(Py.getThreadState());
        if (thread_2_ != null) {
            interpreter_.interrupt(Py.getThreadState());
        }
    }
    
    private class ConsoleKeyListener implements VerifyKeyListener {
 
        public void verifyKey(VerifyEvent event) {
            int ks = event.keyCode | event.stateMask;
            int len = styledText_.getText().length();
            int cp = styledText_.getCaretOffset();
 
            com_ = getCommand();
            event.doit = false;
            if (thread_1_ != null) {
                return;
            } else if (ks == KS_ENTER      || ks == KS_ENTER_ALT
                    || ks == KS_ENTER_CTRL || ks == KS_ENTER_SHIFT) {
                try {
                        if (com_.trim().length() <= 0){
                                styledText_.append("\n"+prompt_); //$NON-NLS-1$
                                styledText_.setCaretOffset(styledText_.getText().length());
                        styledText_.setTopIndex(styledText_.getLineCount());
                        }else{
                                styledText_.append("\n"); //$NON-NLS-1$
                        btnExec_.setSelection(true);
                        styleExecBtn(true);
                        final String com = com_.trim();
                        thread_1_ = new Thread() {
                                public void run() {
                                        result_=null;
                                        try{
                                                if (com.startsWith("dir(")) { //$NON-NLS-1$
                                                        interpreter_.exec("__tmp__ = " +com); //$NON-NLS-1$
                                                        result_ = interpreter_.eval("__tmp__"); //$NON-NLS-1$
                                                } else {
                                                        result_ = interpreter_.eval(com);
                                                }
                                        }catch (org.python.core.PyException e) {
                                                try{
                                                        interpreter_.exec(com);
                                                }catch( org.python.core.PyException exception ){
                                                        result_ = exception.toString();
                                                }
                                        }
                                        history_.add(1, com);
                                if (history_.size() > HISTORY_SIZE)
                                    history_.remove(HISTORY_SIZE-1);
                                if (result_ != null)
                                        stWriter_.write(result_.toString()+"\n");
                                stWriter_.write(prompt_);
                                        hpos_ = 0;
                                thread_1_ = null;
                                };
                        };
                        thread_1_.start();
                        }
                } catch (Exception e) {
                    e.printStackTrace();
                }
            } else if (ks == KS_CTRL_U) {
                styledText_.replaceTextRange(len - com_.length(), com_.length(),""); //$NON-NLS-1$
            } else if (ks == KS_CTRL_A) {
                styledText_.setCaretOffset(len - com_.length());
            } else if (ks == KS_CTRL_E) {//Eclipseの標準キーバインド
                styledText_.setCaretOffset(len);
            } else if ((ks == KS_CTRL_F || ks == KS_RIGHT)) {//Eclipseの標準キーバインド
                if (cp < len)
                    styledText_.setCaretOffset(cp + 1);
            } else if ((ks == KS_CTRL_B || ks == KS_LEFT)) {//Eclipseの標準キーバインド
                if (len - com_.length() < cp)
                    styledText_.setCaretOffset(cp - 1);
            } else if (ks == KS_SHIFT) {   // ignore input of shift key
            } else if (ks == KS_CONTROL) { // and control key
            } else if (ks == KS_BACK_SPACE) {
                int p = styledText_.getText().lastIndexOf('\n') + prompt_.length() + 1;
                if (p < cp) {
                    styledText_.replaceTextRange(cp - 1, 1,""); //$NON-NLS-1$
                }
            } else if (ks == KS_DELETE) {
                if (cp < len) {
                    styledText_.replaceTextRange( cp,1,""); //$NON-NLS-1$
                }
            } else if (ks == KS_UP || ks == KS_CTRL_P) {
                if (hpos_ < history_.size() - 1) {
                    int start = styledText_.getText().lastIndexOf('\n') + prompt_.length() + 1;
                    if (start <= len)
                        styledText_.replaceTextRange(start, len-start, history_.get(++hpos_));
                    styledText_.setCaretOffset(styledText_.getText().length());
                }
            } else if (ks == KS_DOWN || ks == KS_CTRL_N) {//KS_CTRL_N
                styledText_.setCaretOffset(len);
                if (hpos_ > 0) {
                    int start = styledText_.getText().lastIndexOf('\n') + prompt_.length() + 1;
                    if (start <= len)
                        styledText_.replaceTextRange(start, len-start,history_.get(--hpos_));
                }
            } else {
                if (cp <styledText_.getText().lastIndexOf('\n')) {
                    cp = len;
                    styledText_.setCaretOffset(len);
                }
                event.doit = true;
            }
        }
    }
    
    public void execFile() {
        if (currentItem_ == null)
            return;
 
        if (currentItem_.isEdited()) {
            boolean ans = MessageDialog.openConfirm(parent_.getShell(), MessageBundle.get("GrxJythonPromptView.dialog.title.exec"), MessageBundle.get("GrxJythonPromptView.dialog.message.exec")); //$NON-NLS-1$ //$NON-NLS-2$
            if (!ans || !currentItem_.save())
                return;
        }
        
        final String url = currentItem_.getURL(true);
        execFile(url);
    }
 
    public void execFile(final String url) {
        setNameService();
        File f = new File(url);
        File p = f.getParentFile();
        interpreter_.exec("import sys"); //$NON-NLS-1$
        PyString pyStr = new PyString(p.getAbsolutePath());
        PyList pathList = (PyList)interpreter_.eval("sys.path"); //$NON-NLS-1$
        if (!pathList.__contains__(pyStr)) {
            String com = "sys.path.append(\""+p.getAbsolutePath()+"\")"; //$NON-NLS-1$ //$NON-NLS-2$
            interpreter_.exec("print '"+com+"'"); //$NON-NLS-1$ //$NON-NLS-2$
            interpreter_.exec(com);
        }
        
        thread_2_ = new Thread() {
            public void run() {
                try {
                    interpreter_.exec("print 'execfile("+url+")'"); //$NON-NLS-1$ //$NON-NLS-2$
                    interpreter_.execfile(url);
                } catch (Exception e) {
                    e.printStackTrace();
                }
                stWriter_.write(prompt_);
                hpos_ = 0;
            }
        };
        thread_2_.start();
    }
 
    private String getCommand() {
        String com = styledText_.getText();
        int idx = com.lastIndexOf('\n');
        if (idx > 0)
            com = com.substring(idx + 1);
        return com.replaceFirst(prompt_, ""); //$NON-NLS-1$
    }
    
    public void setNameService(){
        String nsHost = manager_.getProjectProperty("nsHost"); //$NON-NLS-1$
        String nsPort = manager_.getProjectProperty("nsPort"); //$NON-NLS-1$
        if (nsHost == null)
            nsHost = GrxCorbaUtil.nsHost();
        if (nsPort == null){
                Integer np = new Integer(GrxCorbaUtil.nsPort());
            nsPort = np.toString();
        }
            
        String NS_OPT = "-ORBInitRef NameService=corbaloc:iiop:"+nsHost+":"+nsPort+"/NameService"; //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$
        System.setProperty("NS_OPT", NS_OPT); //$NON-NLS-1$
        interpreter_.cleanup();
        interpreter_.exec("print 'NS_OPT="+NS_OPT+"'"); //$NON-NLS-1$ //$NON-NLS-2$
        interpreter_.exec("print '"+prompt_+"rbimporter.refresh()'"); //$NON-NLS-1$ //$NON-NLS-2$
        interpreter_.exec("rbimporter.refresh()"); //$NON-NLS-1$
        String nameservice = "could not parse"; //$NON-NLS-1$
        try {
            nameservice = NS_OPT.split("=")[1]; //$NON-NLS-1$
        } catch (Exception e) {
            interpreter_.exec("print 'failed to connect NameService("+nameservice+")'"); //$NON-NLS-1$ //$NON-NLS-2$
        }
    }
    /*
    public void restoreProperties() {
        super.restoreProperties();
        setNameService();
        
        //TODO:UIスレッド以外から呼ばれることはないならはずしてもいい。
        display_.asyncExec(new Thread(){
            public void run(){
                styledText_.setCaretOffset(styledText_.getText().length());
                //area_.setMaximumRowCount(getInt("maxRowCount", DEFAULT_MAX_ROW));
            }
        });
        
        String defaultScript = System.getProperty("SCRIPT"); //$NON-NLS-1$
        if (defaultScript != null) {
            System.clearProperty("SCRIPT"); //$NON-NLS-1$
            File f = new File(defaultScript);
            String name = f.getName().replace(".py", ""); //$NON-NLS-1$ //$NON-NLS-2$
            GrxBaseItem newItem = manager_.loadItem(GrxPythonScriptItem.class, name, f.getAbsolutePath());
            if(newItem!=null){
                    manager_.itemChange(newItem, GrxPluginManager.ADD_ITEM);
                    manager_.setSelectedItem(newItem, true);
            }
            execFile();
        }
    }
   */
    public void registerItemChange(GrxBaseItem item, int event){
        if(item instanceof GrxPythonScriptItem){
                GrxPythonScriptItem pythonScriptItem = (GrxPythonScriptItem)item;
                switch(event){
                case GrxPluginManager.SELECTED_ITEM:
                        currentItem_ = pythonScriptItem;
                        btnExec_.setEnabled(true);
                        break;
                case GrxPluginManager.REMOVE_ITEM:
                case GrxPluginManager.NOTSELECTED_ITEM:
                        currentItem_ = null;
                        btnExec_.setEnabled(false);
                        break;
                default:
                        break;
                }
        }
    }
 
    public void waitInput(final String msg) {
        JOptionPane.showMessageDialog(frame_, msg);
    }
    
    public void waitInputConfirm(final String msg) {
        int ans = JOptionPane.showConfirmDialog(frame_,
            msg,"waitInputConfirm", //$NON-NLS-1$
            JOptionPane.OK_CANCEL_OPTION,
            JOptionPane.INFORMATION_MESSAGE,
            null);
        if (ans != JOptionPane.OK_OPTION)
            interrupt();
    }
    
    public boolean waitInputSelect(final String msg) {
        int ans = JOptionPane.showConfirmDialog(frame_,
            msg,"waitInputSelect", //$NON-NLS-1$
            JOptionPane.YES_NO_CANCEL_OPTION,
            JOptionPane.INFORMATION_MESSAGE,
            null);
        if (ans == JOptionPane.YES_OPTION)
            return true;
        else if (ans != JOptionPane.NO_OPTION)
            interrupt();
        return false;
    }
    
    public Object waitInputMessage(String msg) {
        return JOptionPane.showInputDialog(frame_,
            msg, "waitInputMessage", //$NON-NLS-1$
            JOptionPane.INFORMATION_MESSAGE,
            null,null,null);
    }
    
    public void waitInputMenu(String[][] menuList) {
        menuDialog = new MenuDialog(menuList, interpreter_, message_, stWriter_);
        menuDialog.showDialog(frame_, currentItem_.getName(), false);
    }
    public void waitInputSetMessage(String msg) {
        message_ = msg;
        if(MenuDialog.getCurrentMenuDialog()!=null)
                menuDialog.setMessage(msg);
    }
 
    public class StyledTextWriter extends Writer {
        private StringBuffer outString_ = null;
        
        public StyledTextWriter() {
                outString_ = new StringBuffer();
        }
 
        public void write(char[] cbuf, int off, int len) throws IOException {
            synchronized (lock) {
                if ((off < 0) || (off > cbuf.length) || (len < 0)
                        || ((off + len) > cbuf.length) || ((off + len) < 0)) {
                    throw new IndexOutOfBoundsException();
                } else if (len == 0) {
                }
 
                char[] c = new char[len];
                System.arraycopy(cbuf, off, c, 0, len);
                outString_.append(c);
            }
        }
 
        public void close() throws IOException {
            synchronized (lock) {
            }
        }
 
        public void flush() throws IOException {
            synchronized (lock) {
            }
        }
        
        public String read(){
                synchronized(lock){
                        String str = outString_.toString();
                        outString_.delete(0, outString_.length());
                        return str;
                }
        }
        
        public void write(String str){
                synchronized(lock){
                        outString_.append(str);
                }
        }
        
    }
    
    public void shutdown(){
        manager_.removeItemChangeListener(this, GrxPythonScriptItem.class);
    }
 
    public boolean getEnabledExecBtn(){
        return btnExec_.getEnabled();
    }
 
    public void selectExecBtn(){
        btnExec_.setSelection(!btnExec_.getSelection());
        selectedExecBtn();
    }
 
    private void selectedExecBtn(){
        if (btnExec_.getSelection()) {
            styleExecBtn(true);
            execFile();
        } else {
            styleExecBtn(false);
            interrupt();
        }
    }
 
    private void styleExecBtn(boolean selected){
        IAction action = getStartSimulationAction();
        if(selected){
            btnExec_.setImage(simScriptStopIcon_);
            btnExec_.setToolTipText(MessageBundle.get("GrxJythonPromptView.text.interrupt"));
            if(action != null){
                action.setText("interrupt python threads");
                action.setImageDescriptor(Activator.getDefault().getDescriptor("sim_script_stop.png"));
            }
        }
        else{
            btnExec_.setImage(simScriptStartIcon_);
            btnExec_.setToolTipText(MessageBundle.get("GrxJythonPromptView.text.execute"));
            styledText_.setEnabled(true);
            if(action != null){
                action.setToolTipText("Execute Script File");
                action.setImageDescriptor(Activator.getDefault().getDescriptor("sim_script_start.png"));
            }
        }
    }
 
    private IAction getStartSimulationAction()
    {
        IWorkbenchWindow[] windows = PlatformUI.getWorkbench().getWorkbenchWindows();
        for(IWorkbenchWindow w : windows){
            if(!(w instanceof ApplicationWindow))
                continue;
            ApplicationWindow window = (ApplicationWindow)w;
            ICoolBarManager coolbar = window.getCoolBarManager2();
            if(coolbar == null)
                continue;
            IContributionItem setitem = coolbar.find("com.generalrobotix.ui.actionSet");
            if(setitem != null && setitem instanceof ToolBarContributionItem)
            {
                IToolBarManager toolbar = ((ToolBarContributionItem)setitem).getToolBarManager();
                if(toolbar == null)
                    continue;
                IContributionItem actitem = toolbar.find("com.generalrobotix.ui.actions.ExecuteScript");
                if(actitem != null && actitem instanceof ActionContributionItem)
                    return ((ActionContributionItem)actitem).getAction();
            }
        }
        return null;
    }
 
    public void updateEditerFont(){
        styledText_.setFont(Activator.getDefault().getFont("preference_editer"));
    }
}