public Dimension requestResize(
final Dimension newSize,
final RequestOrigin origin,
int cursorY,
JediTerminal.ResizeHandler resizeHandler) {
if (!newSize.equals(myTermSize)) {
myTerminalTextBuffer.lock();
try {
myTerminalTextBuffer.resize(newSize, origin, cursorY, resizeHandler, mySelection);
myTermSize = (Dimension) newSize.clone();
final Dimension pixelDimension = new Dimension(getPixelWidth(), getPixelHeight());
setPreferredSize(pixelDimension);
if (myTerminalPanelListener != null) {
myTerminalPanelListener.onPanelResize(pixelDimension, origin);
}
SwingUtilities.invokeLater(
new Runnable() {
@Override
public void run() {
updateScrolling();
}
});
} finally {
myTerminalTextBuffer.unlock();
}
}
return new Dimension(getPixelWidth(), getPixelHeight());
}
public void setSizeRatio(double x, double y) {
xRatio = x;
yRatio = y;
if (x > 1.0) xRatio = x - 1.0;
if (y > 1.0) yRatio = y - 1.0;
if (defDim.width <= 0) defDim = getPreferredSize();
curLoc.x = (int) ((double) defLoc.x * xRatio);
curLoc.y = (int) ((double) defLoc.y * yRatio);
curDim.width = (int) ((double) defDim.width * xRatio);
curDim.height = (int) ((double) defDim.height * yRatio);
if (!inEditMode) setBounds(curLoc.x, curLoc.y, curDim.width, curDim.height);
}
public void setEditMode(boolean s) {
twin.setEditMode(s);
setOpaque(s);
if (s) {
addMouseListener(ml);
curLoc.x = defLoc.x;
curLoc.y = defLoc.y;
defDim = getPreferredSize();
curDim.width = defDim.width;
curDim.height = defDim.height;
} else removeMouseListener(ml);
inEditMode = s;
}
public void reshape(int x, int y, int w, int h) {
if (inEditMode) {
defLoc.x = x;
defLoc.y = y;
defDim.width = w;
defDim.height = h;
}
curLoc.x = x;
curLoc.y = y;
curDim.width = w;
curDim.height = h;
super.reshape(x, y, w, h);
}
public void setSizeRatio(double x, double y) {
double rx = x;
double ry = y;
if (rx > 1.0) rx = x - 1.0;
if (ry > 1.0) ry = y - 1.0;
if (defDim.width <= 0) defDim = getPreferredSize();
curLoc.x = (int) ((double) defLoc.x * rx);
curLoc.y = (int) ((double) defLoc.y * ry);
curDim.width = (int) ((double) defDim.width * rx);
curDim.height = (int) ((double) defDim.height * ry);
if (!inEditMode) setBounds(curLoc.x, curLoc.y, curDim.width, curDim.height);
twin.setSizeRatio(x, y);
}
public void reshape(int x, int y, int w, int h) {
if (inEditMode) {
defLoc.x = x;
defLoc.y = y;
defDim.width = w;
defDim.height = h;
}
curLoc.x = x;
curLoc.y = y;
curDim.width = w;
curDim.height = h;
if (!inEditMode) {
if ((h != nHeight) || (h < rHeight)) {
adjustFont(w, h);
}
}
super.reshape(x, y, w, h);
}
private void establishFontMetrics() {
final BufferedImage img = createBufferedImage(1, 1);
final Graphics2D graphics = img.createGraphics();
graphics.setFont(myNormalFont);
final float lineSpace = mySettingsProvider.getLineSpace();
final FontMetrics fo = graphics.getFontMetrics();
myDescent = fo.getDescent();
myCharSize.width = fo.charWidth('W');
myCharSize.height = fo.getHeight() + (int) (lineSpace * 2);
myDescent += lineSpace;
myMonospaced = isMonospaced(fo);
if (!myMonospaced) {
LOG.info("WARNING: Font " + myNormalFont.getName() + " is non-monospaced");
}
img.flush();
graphics.dispose();
}
public void setEditMode(boolean s) {
if (s) {
addMouseListener(ml);
setOpaque(s);
if (font != null) {
setFont(font);
fontH = font.getSize();
rHeight = fontH;
}
defDim = getPreferredSize();
curLoc.x = defLoc.x;
curLoc.y = defLoc.y;
curDim.width = defDim.width;
curDim.height = defDim.height;
xRatio = 1.0;
yRatio = 1.0;
} else {
removeMouseListener(ml);
if ((bg != null) || (isActive < 1)) setOpaque(true);
else setOpaque(false);
}
inEditMode = s;
}
public TerminalPanel(
@NotNull SettingsProvider settingsProvider,
@NotNull TerminalTextBuffer terminalTextBuffer,
@NotNull StyleState styleState) {
mySettingsProvider = settingsProvider;
myTerminalTextBuffer = terminalTextBuffer;
myStyleState = styleState;
myTermSize.width = terminalTextBuffer.getWidth();
myTermSize.height = terminalTextBuffer.getHeight();
myMaxFPS = mySettingsProvider.maxRefreshRate();
updateScrolling();
enableEvents(AWTEvent.KEY_EVENT_MASK | AWTEvent.INPUT_METHOD_EVENT_MASK);
enableInputMethods(true);
terminalTextBuffer.addModelListener(
new TerminalModelListener() {
@Override
public void modelChanged() {
repaint();
}
});
}
public Dimension minimumLayoutSize(Container parent) {
Dimension dim = new Dimension();
Insets insets = getInsets();
dim.width = insets.left + insets.right;
dim.height = insets.top + insets.bottom;
Dimension centerPref = center.getMinimumSize();
dim.width += centerPref.width;
dim.height += centerPref.height;
Dimension rightPref = right.getMinimumSize();
dim.width += rightPref.width;
Dimension bottomPref = bottom.getMinimumSize();
dim.height += bottomPref.height;
return dim;
}
// {{{ HyperSearchResults constructor
public HyperSearchResults(View view) {
super(new BorderLayout());
this.view = view;
caption = new JLabel();
Box toolBar = new Box(BoxLayout.X_AXIS);
toolBar.add(caption);
toolBar.add(Box.createGlue());
ActionHandler ah = new ActionHandler();
highlight = new RolloverButton();
highlight.setToolTipText(jEdit.getProperty("hypersearch-results.highlight.label"));
highlight.addActionListener(ah);
toolBar.add(highlight);
clear =
new RolloverButton(
GUIUtilities.loadIcon(jEdit.getProperty("hypersearch-results.clear.icon")));
clear.setToolTipText(jEdit.getProperty("hypersearch-results.clear.label"));
clear.addActionListener(ah);
toolBar.add(clear);
multi = new RolloverButton();
multi.setToolTipText(jEdit.getProperty("hypersearch-results.multi.label"));
multi.addActionListener(ah);
toolBar.add(multi);
stop =
new RolloverButton(
GUIUtilities.loadIcon(jEdit.getProperty("hypersearch-results.stop.icon")));
stop.setToolTipText(jEdit.getProperty("hypersearch-results.stop.label"));
stop.addActionListener(ah);
toolBar.add(stop);
stop.setEnabled(false);
add(BorderLayout.NORTH, toolBar);
resultTreeRoot = new DefaultMutableTreeNode();
resultTreeModel = new DefaultTreeModel(resultTreeRoot);
resultTree = new HighlightingTree(resultTreeModel);
resultTree.setToolTipText(null);
resultTree.setCellRenderer(new ResultCellRenderer());
resultTree.setVisibleRowCount(16);
resultTree.setRootVisible(false);
resultTree.setShowsRootHandles(true);
// the ESCAPE keystroke is assigned to hideTip action by swing
// it breaks the action usually assigned to close-docking-area by jEdit,
// so we remove this keystroke binding bug #1955140
KeyStroke keyStroke = KeyStroke.getKeyStroke(KeyEvent.VK_ESCAPE, 0);
resultTree.getInputMap().remove(keyStroke);
// looks bad with the OS X L&F, apparently...
if (!OperatingSystem.isMacOSLF()) resultTree.putClientProperty("JTree.lineStyle", "Angled");
resultTree.setEditable(false);
resultTree.addKeyListener(new KeyHandler());
resultTree.addMouseListener(new MouseHandler());
JScrollPane scrollPane = new JScrollPane(resultTree);
Dimension dim = scrollPane.getPreferredSize();
dim.width = 400;
scrollPane.setPreferredSize(dim);
add(BorderLayout.CENTER, scrollPane);
resultTree.setTransferHandler(new ResultTreeTransferHandler());
} // }}}