本文整理了Java中javax.swing.JEditorPane.getParent()
方法的一些代码示例,展示了JEditorPane.getParent()
的具体用法。这些代码示例主要来源于Github
/Stackoverflow
/Maven
等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。JEditorPane.getParent()
方法的具体详情如下:
包路径:javax.swing.JEditorPane
类名称:JEditorPane
方法名:getParent
暂无
代码示例来源:origin: IanDarwin/darwinsys-api
public void run() {
// System.out.println("PageLoader: u=" + url);
if (url == null) {
// restore the original cursor
help.setCursor(cursor);
// PENDING(prinz) remove this hack when
// automatic validation is activated.
Container parent = help.getParent();
parent.repaint();
} else {
Document doc = help.getDocument();
try {
help.setPage(url);
} catch (Exception ioe) {
help.setDocument(doc);
getToolkit().beep();
} finally {
// schedule the cursor to revert after
// the paint has happended.
url = null;
SwingUtilities.invokeLater(this);
}
}
}
}
代码示例来源:origin: com.darwinsys/darwinsys-api
public void run() {
// System.out.println("PageLoader: u=" + url);
if (url == null) {
// restore the original cursor
help.setCursor(cursor);
// PENDING(prinz) remove this hack when
// automatic validation is activated.
Container parent = help.getParent();
parent.repaint();
} else {
Document doc = help.getDocument();
try {
help.setPage(url);
} catch (Exception ioe) {
help.setDocument(doc);
getToolkit().beep();
} finally {
// schedule the cursor to revert after
// the paint has happended.
url = null;
SwingUtilities.invokeLater(this);
}
}
}
}
代码示例来源:origin: JChemPaint/jchempaint
Container parent = html.getParent();
parent.repaint();
} else
代码示例来源:origin: org.netbeans.modules/org-netbeans-modules-ruby
if (previewPane.getParent() instanceof JViewport) {
pc = (JViewport)previewPane.getParent();
代码示例来源:origin: freeplane/freeplane
private void hideMe() {
if (textfield == null) {
return;
}
final JEditorPane textfield = this.textfield;
this.textfield = null;
textfield.getDocument().removeDocumentListener(documentListener);
final IMapViewManager mapViewManager = Controller.getCurrentController().getMapViewManager();
mapViewManager.removeMapViewChangeListener(mapViewChangeListener);
mapViewChangeListener = null;
parent.setPreferredSize(null);
if(SwingUtilities.getAncestorOfClass(MapView.class, nodeView) != null) {
nodeView.update();
keepNodePosition();
}
final Dimension textFieldSize = textfield.getSize();
final Point textFieldCoordinate = new Point();
final MapView mapView = nodeView.getMap();
UITools.convertPointToAncestor(textfield, textFieldCoordinate, mapView);
textfield.getParent().remove(textfield);
parent.revalidate();
parent.repaint();
mapView.repaint(textFieldCoordinate.x, textFieldCoordinate.y, textFieldSize.width, textFieldSize.height);
}
内容来源于网络,如有侵权,请联系作者删除!