本文整理汇总了Java中edu.mit.csail.sdg.alloy4.OurBorder类的典型用法代码示例。如果您正苦于以下问题：Java OurBorder类的具体用法？Java OurBorder怎么用？Java OurBorder使用的例子？那么, 这里精选的类代码示例或许可以为您提供帮助。
OurBorder类属于edu.mit.csail.sdg.alloy4包，在下文中一共展示了OurBorder类的7个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: notifyChange
import edu.mit.csail.sdg.alloy4.OurBorder; //导入依赖的package包/类
/** Updates the status bar at the bottom of the screen. */
private Runner notifyChange() {
if (wrap)
return wrapMe();
commands = null;
if (text == null)
return null; // If this was called prior to the "text" being fully
// initialized
OurSyntaxWidget t = text.get();
if (Util.onMac())
frame.getRootPane().putClientProperty("windowModified", Boolean.valueOf(t.modified()));
if (t.isFile())
frame.setTitle(t.getFilename());
else
frame.setTitle("Alloy Analyzer " + Version.version());
toolbar.setBorder(new OurBorder(false, false, text.count() <= 1, false));
int c = t.getCaret();
int y = t.getLineOfOffset(c) + 1;
int x = c - t.getLineStartOffset(y - 1) + 1;
status.setText("<html> Line " + y + ", Column " + x
+ (t.modified() ? " <b style=\"color:#B43333;\">[modified]</b></html>" : "</html>"));
return null;
}
示例2: notifyChange
import edu.mit.csail.sdg.alloy4.OurBorder; //导入依赖的package包/类
/** Updates the status bar at the bottom of the screen. */
private Runner notifyChange() {
if (wrap) return wrapMe();
commands=null;
if (text==null) return null; // If this was called prior to the "text" being fully initialized
OurSyntaxWidget t = text.get();
if (Util.onMac()) frame.getRootPane().putClientProperty("windowModified", Boolean.valueOf(t.modified()));
if (t.isFile()) frame.setTitle(t.getFilename()); else frame.setTitle("Alloy Analyzer "+Version.version());
toolbar.setBorder(new OurBorder(false, false, text.count()<=1, false));
int c = t.getCaret();
int y = t.getLineOfOffset(c)+1;
int x = c - t.getLineStartOffset(y-1)+1;
status.setText("<html> Line "+y+", Column "+x
+(t.modified()?" <b style=\"color:#B43333;\">[modified]</b></html>":"</html>"));
return null;
}
示例3: VizCustomizationPanel
import edu.mit.csail.sdg.alloy4.OurBorder; //导入依赖的package包/类
/**
* Constructs a customization panel.
*
* @param divider - the JSplitPane separating the left-customization-half
* with the right-graph-half
* @param vizState - the VizState object that will be customized by this
* customization panel
*/
public VizCustomizationPanel(JSplitPane divider, VizState vizState) {
this.divider = divider;
this.vizState = vizState;
setBorder(null);
setLayout(new BoxLayout(this, BoxLayout.Y_AXIS));
zoomPane = new JPanel();
zoomPane.setBorder(new OurBorder(false, false, true, false));
zoomPane.setLayout(new BoxLayout(zoomPane, BoxLayout.Y_AXIS));
zoomPane.setAlignmentX(0f);
zoomPane.setBackground(wcolor);
remakeAll();
}
示例4: getTextComponent
import edu.mit.csail.sdg.alloy4.OurBorder; //导入依赖的package包/类
/** Helper method returns a JTextArea containing the given text. */
private JComponent getTextComponent(String text) {
final JTextArea ta = OurUtil.textarea(text, 10, 10, false, true);
final JScrollPane ans = new JScrollPane(ta, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,
JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED) {
private static final long serialVersionUID = 0;
@Override
public void setFont(Font font) {
ta.setFont(font);
}
};
ans.setBorder(new OurBorder(true, false, true, false));
return ans;
}
示例5: makeTabPane
import edu.mit.csail.sdg.alloy4.OurBorder; //导入依赖的package包/类
private Component makeTabPane(JPanel pane) {
JPanel p = new JPanel(new GridBagLayout());
// pane.setBorder(new OurBorder(true, true, true, true));
p.add(pane,
gbc().pos(0, 0)
.fill(GridBagConstraints.BOTH)
.insets(new Insets(5, 5, 5, 5))
.anchor(GridBagConstraints.NORTH)
.make());
p.add(new JLabel(), gbc().pos(0, 1).weighty(1).fill(GridBagConstraints.BOTH).make());
JPanel ans = OurUtil.make(p, new OurBorder(true, true, true, true));
return ans;
}
示例6: VizCustomizationPanel
import edu.mit.csail.sdg.alloy4.OurBorder; //导入依赖的package包/类
/** Constructs a customization panel.
* @param divider - the JSplitPane separating the left-customization-half with the right-graph-half
* @param vizState - the VizState object that will be customized by this customization panel
*/
public VizCustomizationPanel(JSplitPane divider, VizState vizState) {
this.divider = divider;
this.vizState = vizState;
setBorder(null);
setLayout(new BoxLayout(this, BoxLayout.Y_AXIS));
zoomPane = new JPanel();
zoomPane.setBorder(new OurBorder(false,false,true,false));
zoomPane.setLayout(new BoxLayout(zoomPane, BoxLayout.Y_AXIS));
zoomPane.setAlignmentX(0f);
zoomPane.setBackground(wcolor);
remakeAll();
}
示例7: getTextComponent
import edu.mit.csail.sdg.alloy4.OurBorder; //导入依赖的package包/类
/** Helper method returns a JTextArea containing the given text. */
private JComponent getTextComponent(String text) {
final JTextArea ta = OurUtil.textarea(text, 10, 10, false, true);
final JScrollPane ans = new JScrollPane(ta, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED) {
private static final long serialVersionUID = 0;
@Override public void setFont(Font font) { ta.setFont(font); }
};
ans.setBorder(new OurBorder(true, false, true, false));
return ans;
}