Mercurial > hg > truffle
comparison agent/src/share/classes/sun/jvm/hotspot/ui/CommandProcessorPanel.java @ 3945:8ed53447f690
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() { |