本文整理了Java中javax.swing.JSplitPane.repaint()
方法的一些代码示例,展示了JSplitPane.repaint()
的具体用法。这些代码示例主要来源于Github
/Stackoverflow
/Maven
等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。JSplitPane.repaint()
方法的具体详情如下:
包路径:javax.swing.JSplitPane
类名称:JSplitPane
方法名:repaint
暂无
代码示例来源:origin: org.boofcv/demonstrations
public void run() {
if( view == 0 ) {
viewPanel.setRightComponent(guiDepth);
} else {
viewPanel.setRightComponent(guiCam3D);
}
viewPanel.revalidate();
viewPanel.repaint();
}});
}
代码示例来源:origin: senbox-org/snap-desktop
/**
* Reset the split procentage to 60%.
*/
public void refreshDimension(){
bottomPane.setDividerLocation(0.6);
bottomPane.revalidate();
bottomPane.repaint();
}
代码示例来源:origin: net.sf.squirrel-sql/squirrel-sql
@Override
public void propertyChange(PropertyChangeEvent evt) {
if(SessionProperties.IPropertyNames.SQL_PANEL_ORIENTATION.equals(evt.getPropertyName())){
saveOrientationDependingDividerLocation();
_splitPane.setOrientation((Integer) evt.getNewValue());
_splitPane.setDividerLocation(calculateDividerLocation(_splitPane.getOrientation(), false));
_splitPane.repaint();
}
}
});
代码示例来源:origin: realXuJiang/bigtable-sql
@Override
public void propertyChange(PropertyChangeEvent evt) {
if(SessionProperties.IPropertyNames.SQL_PANEL_ORIENTATION.equals(evt.getPropertyName())){
saveOrientationDependingDividerLocation();
_splitPane.setOrientation((Integer) evt.getNewValue());
_splitPane.setDividerLocation(calculateDividerLocation(_splitPane.getOrientation(), false));
_splitPane.repaint();
}
}
});
代码示例来源:origin: com.eas.platypus/platypus-js-forms
@ScriptFunction
public void setSecondComponent(JComponent aComponent) {
super.setRightComponent(aComponent);
super.revalidate();
super.repaint();
}
代码示例来源:origin: com.eas.platypus/platypus-js-forms
@ScriptFunction
public void setFirstComponent(JComponent aComponent) {
super.setLeftComponent(aComponent);
super.revalidate();
super.repaint();
}
代码示例来源:origin: com.eas.platypus/platypus-js-forms
@Override
public void clear() {
setFirstComponent(null);
setSecondComponent(null);
super.revalidate();
super.repaint();
}
代码示例来源:origin: org.activecomponents.jadex/jadex-editor-bpmn
public void run()
{
final JSplitPane viewpane = (JSplitPane) tabpane.getSelectedComponent();
if (viewpane != null)
{
viewpane.repaint();
viewpane.revalidate();
viewpane.setDividerLocation(GuiConstants.GRAPH_PROPERTY_RATIO);
viewpane.doLayout();
panel.doLayout();
SwingUtilities.invokeLater(new Runnable()
{
public void run()
{
viewpane.revalidate();
viewpane.repaint();
}
});
}
}
};
代码示例来源:origin: raydac/netbeans-mmd-plugin
@Override
public void loadContent(@Nullable final File file) throws IOException {
this.ignoreChange = true;
try {
if (file != null) {
this.editor.setText(FileUtils.readFileToString(file, "UTF-8")); //NOI18N
this.editor.setCaretPosition(0);
startRenderScript();
}
} finally {
this.ignoreChange = false;
}
this.undoManager.discardAllEdits();
this.title.setChanged(false);
this.mainPanel.revalidate();
this.mainPanel.repaint();
}
代码示例来源:origin: fr.avianey.apache-xmlgraphics/batik
splitPane.repaint();
代码示例来源:origin: apache/batik
splitPane.repaint();
代码示例来源:origin: org.apache.jmeter/ApacheJMeter_components
spane.repaint();
代码示例来源:origin: fr.avianey.apache-xmlgraphics/batik
/**
* Sets the document to display and its ViewCSS.
*/
public void setDocument(Document doc, ViewCSS view) {
if (document != null) {
if (document != doc) {
removeDomMutationListeners(document);
addDomMutationListeners(doc);
removeCapturingListener(document);
addCapturingListener(doc);
}
}
else {
addDomMutationListeners(doc);
addCapturingListener(doc);
}
resetHistory();
document = doc;
viewCSS = view;
TreeNode root = createTree(doc, showWhitespace);
((DefaultTreeModel) tree.getModel()).setRoot(root);
if (rightPanel.getComponentCount() != 0) {
rightPanel.remove(0);
splitPane.revalidate();
splitPane.repaint();
}
}
代码示例来源:origin: apache/batik
/**
* Sets the document to display and its ViewCSS.
*/
public void setDocument(Document doc, ViewCSS view) {
if (document != null) {
if (document != doc) {
removeDomMutationListeners(document);
addDomMutationListeners(doc);
removeCapturingListener(document);
addCapturingListener(doc);
}
}
else {
addDomMutationListeners(doc);
addCapturingListener(doc);
}
resetHistory();
document = doc;
viewCSS = view;
TreeNode root = createTree(doc, showWhitespace);
((DefaultTreeModel) tree.getModel()).setRoot(root);
if (rightPanel.getComponentCount() != 0) {
rightPanel.remove(0);
splitPane.revalidate();
splitPane.repaint();
}
}
内容来源于网络,如有侵权,请联系作者删除!