Mercurial > hg > truffle

comparison agent/src/share/classes/sun/jvm/hotspot/ui/CommandProcessorPanel.java @ 3945:8ed53447f690

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge
author iveresov
date Thu, 15 Sep 2011 12:44:09 -0700
parents f6f3bb0ee072
children
comparison
equal deleted inserted replaced
3929:f94227b6117b 3945:8ed53447f690
1 /* 1 /*
2 * Copyright (c) 2005, 2008, Oracle and/or its affiliates. All rights reserved. 2 * Copyright (c) 2005, 2011, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 * 4 *
5 * This code is free software; you can redistribute it and/or modify it 5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as 6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation. 7 * published by the Free Software Foundation.
86 final String ln = trimContinuations(cmd); 86 final String ln = trimContinuations(cmd);
87 SwingUtilities.invokeLater(new Runnable() { 87 SwingUtilities.invokeLater(new Runnable() {
88 public void run() { 88 public void run() {
89 beginUpdate(); 89 beginUpdate();
90 try { 90 try {
91 commands.executeCommand(ln); 91 commands.executeCommand(ln, true);
92 commands.printPrompt(); 92 commands.printPrompt();
93 Document d = editor.getDocument(); 93 Document d = editor.getDocument();
94 try { 94 try {
95 d.insertString(d.getLength(), baos.toString(), null); 95 d.insertString(d.getLength(), baos.toString(), null);
96 } 96 }
147 } 147 }
148 148
149 public void clear() { 149 public void clear() {
150 EditableAtEndDocument d = (EditableAtEndDocument) editor.getDocument(); 150 EditableAtEndDocument d = (EditableAtEndDocument) editor.getDocument();
151 d.clear(); 151 d.clear();
152 commands.executeCommand(""); 152 commands.executeCommand("", false);
153 setMark(); 153 setMark();
154 editor.requestFocus(); 154 editor.requestFocus();
155 } 155 }
156 156
157 public void setMark() { 157 public void setMark() {