public TestHTML() {
int d = (Frame.getFrames().length == 0) ? JFrame.EXIT_ON_CLOSE : JFrame.DISPOSE_ON_CLOSE;
JPanel pan = new JPanel();
pan.setLayout(new BorderLayout(GAP, GAP - 4));
pan.setBorder(new EmptyBorder(GAP, GAP, GAP, GAP));
pan.setBackground(COL);
pan.setFont(font);
lab = new JLabel(MSG); // , SwingConstants.CENTER);
lab.setName("title");
lab.setFont(new Font("Serif", 3, 16));
// lab.setForeground(Color.black);
pan.add(lab, "North");
text = new JTextArea("JTextArea\n");
text.setName("area");
text.setLineWrap(true);
text.setFont(font);
JScrollPane scr1 = new JScrollPane(text);
scr1.setPreferredSize(new Dimension(300, 500));
pan.add(scr1, "Center");
html = new JEditorPane();
html.setContentType("text/html");
html.setEditable(false);
html.addMouseListener(this);
html.addMouseMotionListener(this);
JScrollPane scr2 = new JScrollPane(html);
scr2.setPreferredSize(new Dimension(350, 500));
pan.add(scr2, "East");
but = new JButton("Copy text from JTextArea to JEditorPane");
but.addActionListener(this);
pan.add(but, "South");
frm = new JFrame(MSG);
frm.setContentPane(pan);
frm.setDefaultCloseOperation(d);
frm.setLocation(100, 150);
frm.pack();
frm.setVisible(true);
}
public DocumentationComponent(
final DocumentationManager manager, final AnAction[] additionalActions) {
myManager = manager;
myIsEmpty = true;
myIsShown = false;
myEditorPane =
new JEditorPane(UIUtil.HTML_MIME, "") {
@Override
public Dimension getPreferredScrollableViewportSize() {
if (getWidth() == 0 || getHeight() == 0) {
setSize(MAX_WIDTH, MAX_HEIGHT);
}
Insets ins = myEditorPane.getInsets();
View rootView = myEditorPane.getUI().getRootView(myEditorPane);
rootView.setSize(
MAX_WIDTH,
MAX_HEIGHT); // Necessary! Without this line, size will not increase then you go
// from small page to bigger one
int prefHeight = (int) rootView.getPreferredSpan(View.Y_AXIS);
prefHeight +=
ins.bottom
+ ins.top
+ myScrollPane.getHorizontalScrollBar().getMaximumSize().height;
return new Dimension(MAX_WIDTH, Math.max(MIN_HEIGHT, Math.min(MAX_HEIGHT, prefHeight)));
}
{
enableEvents(AWTEvent.KEY_EVENT_MASK);
}
@Override
protected void processKeyEvent(KeyEvent e) {
KeyStroke keyStroke = KeyStroke.getKeyStrokeForEvent(e);
ActionListener listener = myKeyboardActions.get(keyStroke);
if (listener != null) {
listener.actionPerformed(new ActionEvent(DocumentationComponent.this, 0, ""));
e.consume();
return;
}
super.processKeyEvent(e);
}
@Override
protected void paintComponent(Graphics g) {
GraphicsUtil.setupAntialiasing(g);
super.paintComponent(g);
}
};
DataProvider helpDataProvider =
new DataProvider() {
@Override
public Object getData(@NonNls String dataId) {
return PlatformDataKeys.HELP_ID.is(dataId) ? DOCUMENTATION_TOPIC_ID : null;
}
};
myEditorPane.putClientProperty(DataManager.CLIENT_PROPERTY_DATA_PROVIDER, helpDataProvider);
myText = "";
myEditorPane.setEditable(false);
myEditorPane.setBackground(HintUtil.INFORMATION_COLOR);
myEditorPane.setEditorKit(UIUtil.getHTMLEditorKit());
myScrollPane =
new JBScrollPane(myEditorPane) {
@Override
protected void processMouseWheelEvent(MouseWheelEvent e) {
if (!EditorSettingsExternalizable.getInstance().isWheelFontChangeEnabled()
|| !EditorUtil.isChangeFontSize(e)) {
super.processMouseWheelEvent(e);
return;
}
int change = Math.abs(e.getWheelRotation());
boolean increase = e.getWheelRotation() <= 0;
EditorColorsManager colorsManager = EditorColorsManager.getInstance();
EditorColorsScheme scheme = colorsManager.getGlobalScheme();
FontSize newFontSize = scheme.getQuickDocFontSize();
for (; change > 0; change--) {
if (increase) {
newFontSize = newFontSize.larger();
} else {
newFontSize = newFontSize.smaller();
}
}
if (newFontSize == scheme.getQuickDocFontSize()) {
return;
}
scheme.setQuickDocFontSize(newFontSize);
applyFontSize();
setFontSizeSliderSize(newFontSize);
}
};
myScrollPane.setBorder(null);
myScrollPane.putClientProperty(DataManager.CLIENT_PROPERTY_DATA_PROVIDER, helpDataProvider);
final MouseAdapter mouseAdapter =
new MouseAdapter() {
@Override
public void mousePressed(MouseEvent e) {
myManager.requestFocus();
myShowSettingsButton.hideSettings();
}
};
myEditorPane.addMouseListener(mouseAdapter);
Disposer.register(
this,
new Disposable() {
@Override
public void dispose() {
myEditorPane.removeMouseListener(mouseAdapter);
}
});
final FocusAdapter focusAdapter =
new FocusAdapter() {
@Override
public void focusLost(FocusEvent e) {
Component previouslyFocused =
WindowManagerEx.getInstanceEx()
.getFocusedComponent(manager.getProject(getElement()));
if (!(previouslyFocused == myEditorPane)) {
if (myHint != null && !myHint.isDisposed()) myHint.cancel();
}
}
};
myEditorPane.addFocusListener(focusAdapter);
Disposer.register(
this,
new Disposable() {
@Override
public void dispose() {
myEditorPane.removeFocusListener(focusAdapter);
}
});
setLayout(new BorderLayout());
JLayeredPane layeredPane =
new JBLayeredPane() {
@Override
public void doLayout() {
final Rectangle r = getBounds();
for (Component component : getComponents()) {
if (component instanceof JScrollPane) {
component.setBounds(0, 0, r.width, r.height);
} else {
int insets = 2;
Dimension d = component.getPreferredSize();
component.setBounds(r.width - d.width - insets, insets, d.width, d.height);
}
}
}
@Override
public Dimension getPreferredSize() {
Dimension editorPaneSize = myEditorPane.getPreferredScrollableViewportSize();
Dimension controlPanelSize = myControlPanel.getPreferredSize();
return new Dimension(
Math.max(editorPaneSize.width, controlPanelSize.width),
editorPaneSize.height + controlPanelSize.height);
}
};
layeredPane.add(myScrollPane);
layeredPane.setLayer(myScrollPane, 0);
mySettingsPanel = createSettingsPanel();
layeredPane.add(mySettingsPanel);
layeredPane.setLayer(mySettingsPanel, JLayeredPane.POPUP_LAYER);
add(layeredPane, BorderLayout.CENTER);
setOpaque(true);
myScrollPane.setViewportBorder(JBScrollPane.createIndentBorder());
final DefaultActionGroup actions = new DefaultActionGroup();
final BackAction back = new BackAction();
final ForwardAction forward = new ForwardAction();
actions.add(back);
actions.add(forward);
actions.add(myExternalDocAction = new ExternalDocAction());
back.registerCustomShortcutSet(CustomShortcutSet.fromString("LEFT"), this);
forward.registerCustomShortcutSet(CustomShortcutSet.fromString("RIGHT"), this);
myExternalDocAction.registerCustomShortcutSet(CustomShortcutSet.fromString("UP"), this);
if (additionalActions != null) {
for (final AnAction action : additionalActions) {
actions.add(action);
}
}
myToolBar =
ActionManager.getInstance()
.createActionToolbar(ActionPlaces.JAVADOC_TOOLBAR, actions, true);
myControlPanel = new JPanel();
myControlPanel.setLayout(new BorderLayout());
myControlPanel.setBorder(IdeBorderFactory.createBorder(SideBorder.BOTTOM));
JPanel dummyPanel = new JPanel();
myElementLabel = new JLabel();
dummyPanel.setLayout(new BorderLayout());
dummyPanel.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 5));
dummyPanel.add(myElementLabel, BorderLayout.EAST);
myControlPanel.add(myToolBar.getComponent(), BorderLayout.WEST);
myControlPanel.add(dummyPanel, BorderLayout.CENTER);
myControlPanel.add(myShowSettingsButton = new MyShowSettingsButton(), BorderLayout.EAST);
myControlPanelVisible = false;
final HyperlinkListener hyperlinkListener =
new HyperlinkListener() {
@Override
public void hyperlinkUpdate(HyperlinkEvent e) {
HyperlinkEvent.EventType type = e.getEventType();
if (type == HyperlinkEvent.EventType.ACTIVATED) {
manager.navigateByLink(DocumentationComponent.this, e.getDescription());
}
}
};
myEditorPane.addHyperlinkListener(hyperlinkListener);
Disposer.register(
this,
new Disposable() {
@Override
public void dispose() {
myEditorPane.removeHyperlinkListener(hyperlinkListener);
}
});
registerActions();
updateControlState();
}
private void jbInit() throws Exception {
////////////////////////////////////////////////////////
// Init LAF
////////////////////////////////////////////////////////
ButtonGroup grpLAF = new ButtonGroup();
ActionListener lsnLAF =
new ActionListener() {
public void actionPerformed(ActionEvent evt) {
int iIndex = mvtLAFItem.indexOf(evt.getSource());
if (iIndex >= 0) changeLAF(iIndex);
}
};
////////////////////////////////////////////////////////
UIManager.LookAndFeelInfo laf =
new UIManager.LookAndFeelInfo(
"Kunststoff", "com.incors.plaf.kunststoff.KunststoffLookAndFeel");
marrLaf = UIManager.getInstalledLookAndFeels();
int iIndex = 0;
while (iIndex < marrLaf.length && !marrLaf[iIndex].getName().equals(laf.getName())) iIndex++;
if (iIndex >= marrLaf.length) {
UIManager.installLookAndFeel(laf);
marrLaf = UIManager.getInstalledLookAndFeels();
}
for (iIndex = 0; iIndex < marrLaf.length; iIndex++) {
JMenuItem mnu = new JRadioButtonMenuItem(marrLaf[iIndex].getName());
mnu.addActionListener(lsnLAF);
mvtLAFItem.addElement(mnu);
mnuUI.add(mnu);
grpLAF.add(mnu);
}
mnuUI.addSeparator();
////////////////////////////////////////////////////////
// Init language
////////////////////////////////////////////////////////
ButtonGroup grpLanguage = new ButtonGroup();
ActionListener lsnLanguage =
new ActionListener() {
public void actionPerformed(ActionEvent e) {
int iIndex = mvtLanguageItem.indexOf(e.getSource());
if (iIndex >= 0) changeDictionary((String) mvtLanguage.elementAt(iIndex));
}
};
////////////////////////////////////////////////////////
String[] str = MonitorDictionary.getSupportedLanguage();
for (iIndex = 0; iIndex < str.length; iIndex++) {
JMenuItem mnu =
new JRadioButtonMenuItem(MonitorDictionary.getDictionary(str[iIndex]).getLanguage());
mnu.addActionListener(lsnLanguage);
mvtLanguage.addElement(str[iIndex]);
mvtLanguageItem.addElement(mnu);
mnuUI.add(mnu);
grpLanguage.add(mnu);
}
////////////////////////////////////////////////////////
// Add to main menu
////////////////////////////////////////////////////////
mnuMain.removeAll();
mnuMain.add(mnuSystem);
mnuSystem.add(mnuSystem_Login);
mnuSystem.add(mnuSystem_ChangePassword);
mnuSystem.addSeparator();
mnuSystem.add(mnuSystem_StopServer);
mnuSystem.add(mnuSystem_EnableThreads);
mnuMain.add(mnuUI);
mnuMain.add(mnuHelp);
mnuHelp.add(mnuHelp_About);
////////////////////////////////////////////////////////
mnuMain.add(chkVietnamese);
mnuMain.add(lblStatus);
////////////////////////////////////////////////////////
pnlThread.setTabPlacement(JTabbedPane.LEFT);
pnlThread.setTabLayoutPolicy(JTabbedPane.SCROLL_TAB_LAYOUT);
////////////////////////////////////////////////////////
tblUser.addColumn("", 1, false);
tblUser.addColumn("", 2, false, Global.FORMAT_DATE_TIME);
tblUser.addColumn("", 3, false);
////////////////////////////////////////////////////////
JPanel pnlMessage = new JPanel();
pnlMessage.setLayout(new GridBagLayout());
pnlMessage.add(
new JScrollPane(txtBoard),
new GridBagConstraints(
0,
0,
2,
1,
1.0,
1.0,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(2, 2, 2, 2),
0,
0));
pnlMessage.add(
txtMessage,
new GridBagConstraints(
0,
1,
1,
1,
1.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(2, 2, 2, 2),
0,
0));
pnlMessage.add(
btnSend,
new GridBagConstraints(
1,
1,
1,
1,
0.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.NONE,
new Insets(2, 2, 2, 2),
0,
0));
txtBoard.setEditable(false);
txtBoard.setAutoscrolls(true);
txtBoard.setContentType("text/html");
clearAll(txtBoard);
////////////////////////////////////////////////////////
JPanel pnlUserButton = new JPanel(new GridLayout(1, 2, 4, 4));
pnlUserButton.add(btnKick);
pnlUserButton.add(btnRefresh);
////////////////////////////////////////////////////////
JPanel pnlManager = new JPanel(new GridBagLayout());
pnlManager.add(
new JScrollPane(tblUser),
new GridBagConstraints(
0,
0,
1,
1,
1.0,
1.0,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(2, 2, 2, 2),
0,
0));
pnlManager.add(
pnlUserButton,
new GridBagConstraints(
0,
1,
1,
1,
0.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.NONE,
new Insets(4, 2, 4, 2),
0,
0));
////////////////////////////////////////////////////////
pnlUser.setDividerLocation(320);
pnlUser.setLeftComponent(pnlManager);
pnlUser.setRightComponent(pnlMessage);
pnlUser.setOneTouchExpandable(true);
////////////////////////////////////////////////////////
setOrientation(JSplitPane.VERTICAL_SPLIT);
setOneTouchExpandable(true);
pnlThread.setVisible(false);
pnlUser.setVisible(false);
setTopComponent(pnlThread);
setBottomComponent(pnlUser);
////////////////////////////////////////////////////////
pmn.add(mnuSelectAll);
pmn.addSeparator();
pmn.add(mnuClearSelected);
pmn.add(mnuClearAll);
////////////////////////////////////////////////////////
setBorder(BorderFactory.createEmptyBorder());
pnlUser.setBorder(BorderFactory.createEmptyBorder());
pnlManager.setBorder(
BorderFactory.createBevelBorder(
javax.swing.border.BevelBorder.RAISED,
Color.white,
UIManager.getColor("Panel.background"),
UIManager.getColor("Panel.background"),
UIManager.getColor("Panel.background")));
pnlMessage.setBorder(
BorderFactory.createBevelBorder(
javax.swing.border.BevelBorder.RAISED,
Color.white,
UIManager.getColor("Panel.background"),
UIManager.getColor("Panel.background"),
UIManager.getColor("Panel.background")));
////////////////////////////////////////////////////////
Skin.applySkin(mnuMain);
Skin.applySkin(tblUser);
Skin.applySkin(pmn);
Skin.applySkin(this);
////////////////////////////////////////////////////////
// Default setting
////////////////////////////////////////////////////////
Hashtable prt = null;
try {
prt = Global.loadHashtable(Global.FILE_CONFIG);
} catch (Exception e) {
prt = new Hashtable();
}
changeLAF(Integer.parseInt(StringUtil.nvl(prt.get("LAF"), "0")));
changeDictionary(StringUtil.nvl(prt.get("Language"), "VN"));
Skin.LANGUAGE_CHANGE_LISTENER = this;
MonitorProcessor.setRootObject(this);
updateKeyboardUI();
////////////////////////////////////////////////////////
// Event handler
////////////////////////////////////////////////////////
tblUser.addMouseListener(
new MouseAdapter() {
public void mouseClicked(MouseEvent e) {
if (e.getClickCount() > 1) btnKick.doClick();
}
});
////////////////////////////////////////////////////////
btnRefresh.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent evt) {
try {
DDTP request = new DDTP();
request.setRequestID(String.valueOf(System.currentTimeMillis()));
DDTP response = channel.sendRequest("ThreadProcessor", "queryUserList", request);
if (response != null) {
tblUser.setData((Vector) response.getReturn());
if (mstrChannel != null) removeUser(mstrChannel);
}
} catch (Exception e) {
e.printStackTrace();
MessageBox.showMessageDialog(pnlThread, e, Global.APP_NAME, MessageBox.ERROR_MESSAGE);
}
}
});
////////////////////////////////////////////////////////
btnKick.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent evt) {
int iSelected = tblUser.getSelectedRow();
if (iSelected < 0) return;
int iResult =
MessageBox.showConfirmDialog(
pnlThread,
mdic.getString("ConfirmKick"),
Global.APP_NAME,
MessageBox.YES_NO_OPTION);
if (iResult == MessageBox.NO_OPTION) return;
try {
String strChannel = (String) tblUser.getRow(iSelected).elementAt(0);
DDTP request = new DDTP();
request.setRequestID(String.valueOf(System.currentTimeMillis()));
request.setString("strChannel", strChannel);
DDTP response = channel.sendRequest("ThreadProcessor", "kickUser", request);
} catch (Exception e) {
e.printStackTrace();
MessageBox.showMessageDialog(pnlThread, e, Global.APP_NAME, MessageBox.ERROR_MESSAGE);
}
}
});
////////////////////////////////////////////////////////
txtMessage.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent evt) {
btnSend.doClick();
}
});
////////////////////////////////////////////////////////
btnSend.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent evt) {
if (txtMessage.getText().length() == 0) return;
try {
DDTP request = new DDTP();
request.setString("strMessage", txtMessage.getText());
channel.sendRequest("ThreadProcessor", "sendMessage", request);
txtMessage.setText("");
} catch (Exception e) {
e.printStackTrace();
MessageBox.showMessageDialog(pnlThread, e, Global.APP_NAME, MessageBox.ERROR_MESSAGE);
}
}
});
////////////////////////////////////////////////////////
mnuClearAll.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
clearAll(txtBoard);
}
});
////////////////////////////////////////////////////////
mnuClearSelected.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
txtBoard.setEditable(true);
txtBoard.replaceSelection("");
txtBoard.setEditable(false);
}
});
////////////////////////////////////////////////////////
mnuSelectAll.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
txtBoard.requestFocus();
txtBoard.selectAll();
}
});
////////////////////////////////////////////////////////
txtBoard.addMouseListener(
new MouseAdapter() {
public void mouseClicked(MouseEvent e) {
if (e.getButton() == e.BUTTON3) pmn.show(txtBoard, e.getX(), e.getY());
}
});
////////////////////////////////////////////////////////
mnuSystem_Login.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
login();
}
});
////////////////////////////////////////////////////////
mnuSystem_ChangePassword.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
changePassword();
}
});
////////////////////////////////////////////////////////
mnuSystem_StopServer.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
stopServer();
}
});
////////////////////////////////////////////////////////
mnuSystem_EnableThreads.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
manageThreads();
}
});
////////////////////////////////////////////////////////
mnuHelp_About.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
WindowManager.centeredWindow(new DialogAbout(PanelThreadManager.this));
}
});
////////////////////////////////////////////////////////
chkVietnamese.addActionListener(
new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
switchKeyboard();
}
});
}
/**
* Constructor, initialises the editor components.
*
* @param initialText The initial text to be displayed in the editor.
* @param handler The GUI handler for this component.
*/
public GUITextModelEditor(String initialText, GUIMultiModelHandler handler) {
this.handler = handler;
setLayout(new BorderLayout());
// Setup the editor with it's custom editor kits. To switch between
// editor kits just use setContentType() for the desired content type.
editor =
new JEditorPane() {
@Override
public String getToolTipText(MouseEvent event) {
if (parseError != null) {
try {
int offset = this.viewToModel(new Point(event.getX(), event.getY()));
int startOffset =
computeDocumentOffset(parseError.getBeginLine(), parseError.getBeginColumn());
int endOffset =
computeDocumentOffset(parseError.getEndLine(), parseError.getEndColumn()) + 1;
if (offset >= startOffset && offset <= endOffset) return parseError.getMessage();
} catch (BadLocationException e) {
}
}
return null;
}
};
editor.setToolTipText("dummy");
editor.setEditorKitForContentType("text/prism", new PrismEditorKit(handler));
editor.setEditorKitForContentType("text/pepa", new PepaEditorKit(handler));
// The default editor kit is the Prism one.
editor.setContentType("text/prism");
editor.setBackground(Color.white);
editor.addMouseListener(editorMouseListener);
editor.setEditable(true);
editor.setText(initialText);
editor.getDocument().addDocumentListener(this);
editor.addCaretListener(
new CaretListener() {
public void caretUpdate(CaretEvent e) {
GUITextModelEditor.this
.handler
.getGUIPlugin()
.getSelectionChangeHandler()
.notifyListeners(new GUIEvent(1));
}
});
editor.getDocument().putProperty(PlainDocument.tabSizeAttribute, new Integer(4));
editor.addMouseListener(this);
errorHighlightPainter =
new DefaultHighlighter.DefaultHighlightPainter(new Color(255, 192, 192));
undoManager = new GUIUndoManager(GUIPrism.getGUI());
undoManager.setLimit(200);
// Setup the scrollpane
editorScrollPane = new JScrollPane(editor);
add(editorScrollPane, BorderLayout.CENTER);
gutter = new GUITextModelEditorGutter(editor);
// Get the 'show line numbers' setting to determine
// if the line numbers should be shown.
showLineNumbersSetting =
handler
.getGUIPlugin()
.getPrism()
.getSettings()
.getBoolean(PrismSettings.MODEL_SHOW_LINE_NUMBERS);
if (showLineNumbersSetting) {
editorScrollPane.setRowHeaderView(gutter);
}
// Add a Prism settings listener to catch changes made to the
// 'show line numbers' setting.
handler
.getGUIPlugin()
.getPrism()
.getSettings()
.addSettingsListener(
new PrismSettingsListener() {
public void notifySettings(PrismSettings settings) {
// Check if the setting has changed.
if (settings.getBoolean(PrismSettings.MODEL_SHOW_LINE_NUMBERS)
!= showLineNumbersSetting) {
showLineNumbersSetting = !showLineNumbersSetting;
if (showLineNumbersSetting) {
editorScrollPane.setRowHeaderView(gutter);
} else {
editorScrollPane.setRowHeaderView(null);
}
}
}
});
// initialize the actions for the context menu
initActions();
// method to initialize the context menu popup
initContextMenu();
InputMap inputMap = editor.getInputMap();
inputMap.clear();
inputMap.put(
KeyStroke.getKeyStroke(KeyEvent.VK_Z, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()),
"prism_undo");
inputMap.put(
KeyStroke.getKeyStroke(KeyEvent.VK_Z, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()),
"prism_undo");
inputMap.put(
KeyStroke.getKeyStroke(KeyEvent.VK_Y, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()),
"prism_redo");
inputMap.put(
KeyStroke.getKeyStroke(KeyEvent.VK_A, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()),
"prism_selectall");
inputMap.put(
KeyStroke.getKeyStroke(KeyEvent.VK_D, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()),
"prism_delete");
inputMap.put(
KeyStroke.getKeyStroke(KeyEvent.VK_X, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()),
"prism_cut");
inputMap.put(
KeyStroke.getKeyStroke(
KeyEvent.VK_Z,
Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()
| java.awt.event.InputEvent.SHIFT_MASK),
"prism_redo");
inputMap.put(
KeyStroke.getKeyStroke(KeyEvent.VK_V, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()),
"prism_paste");
inputMap.put(
KeyStroke.getKeyStroke(KeyEvent.VK_E, Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()),
"prism_jumperr");
ActionMap actionMap = editor.getActionMap();
actionMap.put("prism_undo", GUIPrism.getClipboardPlugin().getUndoAction());
actionMap.put("prism_redo", GUIPrism.getClipboardPlugin().getRedoAction());
actionMap.put("prism_selectall", GUIPrism.getClipboardPlugin().getSelectAllAction());
actionMap.put("prism_cut", GUIPrism.getClipboardPlugin().getCutAction());
actionMap.put("prism_copy", GUIPrism.getClipboardPlugin().getCopyAction());
actionMap.put("prism_paste", GUIPrism.getClipboardPlugin().getPasteAction());
actionMap.put("prism_delete", GUIPrism.getClipboardPlugin().getDeleteAction());
actionMap.put("prism_jumperr", actionJumpToError);
// Attempt to programmatically allow all accelerators
/*ArrayList plugins = ((GUIMultiModel)handler.getGUIPlugin()).getGUI().getPlugins();
Iterator it = plugins.iterator();
while (it.hasNext())
{
GUIPlugin plugin = ((GUIPlugin)it.next());
System.out.println(plugin.getName());
JMenu firstMenu = plugin.getMenu();
Stack<MenuElement> menuStack = new Stack<MenuElement>();
menuStack.add(firstMenu);
while (!menuStack.empty())
{
MenuElement menu = menuStack.pop();
if (menu instanceof JMenuItem)
{
JMenuItem menuItem = ((JMenuItem)menu);
KeyStroke accelerator = menuItem.getAccelerator();
Action action = menuItem.getAction();
if (action != null && accelerator != null && menuItem.getText() != null)
{
System.out.println(menuItem.getText() + " " + menuItem.getName());
inputMap.put(accelerator, "prism_" + menuItem.getText());
actionMap.put("prism_" + menuItem.getText(), action);
}
}
MenuElement[] subelements = menu.getSubElements();
if (subelements != null)
{
for (int i = 0; i < subelements.length; i++)
menuStack.push(subelements[i]);
}
}
}*/
editor.getDocument().addUndoableEditListener(undoManager);
editor
.getDocument()
.addUndoableEditListener(
new UndoableEditListener() {
public void undoableEditHappened(UndoableEditEvent e) {
System.out.println("adding undo edit");
}
});
}
