private JComponent createLogo() {
NonOpaquePanel panel = new NonOpaquePanel(new BorderLayout());
ApplicationInfoEx app = ApplicationInfoEx.getInstanceEx();
JLabel logo = new JLabel(IconLoader.getIcon(app.getWelcomeScreenLogoUrl()));
logo.setBorder(JBUI.Borders.empty(30, 0, 10, 0));
logo.setHorizontalAlignment(SwingConstants.CENTER);
panel.add(logo, BorderLayout.NORTH);
JLabel appName = new JLabel(ApplicationNamesInfo.getInstance().getFullProductName());
Font font = getProductFont();
appName.setForeground(JBColor.foreground());
appName.setFont(font.deriveFont(JBUI.scale(36f)).deriveFont(Font.PLAIN));
appName.setHorizontalAlignment(SwingConstants.CENTER);
String appVersion = "Version " + app.getFullVersion();
if (app.isEAP() && app.getBuild().getBuildNumber() < Integer.MAX_VALUE) {
appVersion += " (" + app.getBuild().asString() + ")";
}
JLabel version = new JLabel(appVersion);
version.setFont(getProductFont().deriveFont(JBUI.scale(16f)));
version.setHorizontalAlignment(SwingConstants.CENTER);
version.setForeground(Gray._128);
panel.add(appName);
panel.add(version, BorderLayout.SOUTH);
panel.setBorder(JBUI.Borders.emptyBottom(20));
return panel;
}
public void paintComponent(Graphics g) {
Graphics2D g2 = (Graphics2D) g;
String message = "Hello, World!";
Font f = new Font("Serif", Font.BOLD, 36);
g2.setFont(f);
FontRenderContext context = g2.getFontRenderContext();
Rectangle2D bounds = f.getStringBounds(message, context);
double x = (getWidth() - bounds.getWidth()) / 2;
double y = (getHeight() - bounds.getHeight()) / 2;
double ascent = -bounds.getY();
double baseY = y + ascent;
g2.drawString(message, (int) x, (int) baseY);
g2.setPaint(Color.LIGHT_GRAY);
g2.draw(new Line2D.Double(x, baseY, x + bounds.getWidth(), baseY));
Rectangle2D rect = new Rectangle2D.Double(x, y, bounds.getWidth(), bounds.getHeight());
g2.draw(rect);
}
private int computeTextWidth(@NotNull Font font, final boolean mainTextOnly) {
int result = 0;
int baseSize = font.getSize();
boolean wasSmaller = false;
for (int i = 0; i < myAttributes.size(); i++) {
SimpleTextAttributes attributes = myAttributes.get(i);
boolean isSmaller = attributes.isSmaller();
if (font.getStyle() != attributes.getFontStyle()
|| isSmaller != wasSmaller) { // derive font only if it is necessary
font =
font.deriveFont(
attributes.getFontStyle(),
isSmaller ? UIUtil.getFontSize(UIUtil.FontSize.SMALL) : baseSize);
}
wasSmaller = isSmaller;
result += computeStringWidth(i, font);
final int fixedWidth = myFragmentPadding.get(i);
if (fixedWidth > 0 && result < fixedWidth) {
result = fixedWidth;
}
if (mainTextOnly && myMainTextLastIndex >= 0 && i == myMainTextLastIndex) break;
}
return result;
}
public void setSelectedFont(Font font) {
selectedFont = font;
family = font.getFamily();
style = font.getStyle();
size = font.getSize();
preview.setFont(font);
}
public static void bumpUpFontSize(Component widget, int bumps) {
if (!UserPreferences.readLocalePref()
.equals("ko")) { // HACK!!! refector with variable localeSupportsBold
Font f = widget.getFont();
widget.setFont(new Font(f.getFamily(), f.getStyle(), f.getSize() + bumps));
}
}
@Nullable
Font getFontAbleToDisplay(LookupElementPresentation p) {
String sampleString = p.getItemText() + p.getTailText() + p.getTypeText();
// assume a single font can display all lookup item chars
Set<Font> fonts = ContainerUtil.newHashSet();
for (int i = 0; i < sampleString.length(); i++) {
fonts.add(
EditorUtil.fontForChar(sampleString.charAt(i), Font.PLAIN, myLookup.getEditor())
.getFont());
}
eachFont:
for (Font font : fonts) {
if (font.equals(myNormalFont)) continue;
for (int i = 0; i < sampleString.length(); i++) {
if (!font.canDisplay(sampleString.charAt(i))) {
continue eachFont;
}
}
return font;
}
return null;
}
public static void makeEmphasized(Component widget) {
// Set to bold amd add color
Font font = widget.getFont();
if (!UserPreferences.readLocalePref()
.equals("ko")) // HACK!!! refector with variable localeSupportsBold
widget.setFont(new Font(font.getFamily(), Font.BOLD, font.getSize()));
widget.setForeground(UIProperties.emphasisColor);
}
protected void initFont() {
myNormalFont = createFont();
myBoldFont = myNormalFont.deriveFont(Font.BOLD);
myItalicFont = myNormalFont.deriveFont(Font.ITALIC);
myBoldItalicFont = myBoldFont.deriveFont(Font.ITALIC);
establishFontMetrics();
}
private static Font findFont(String name) {
for (Font font : GraphicsEnvironment.getLocalGraphicsEnvironment().getAllFonts()) {
if (font.getName().equals(name)) {
return font;
}
}
return null;
}
public Browser(String currentHref) {
super();
this.currentHref = currentHref;
try {
if (Bither.getMainFrame() != null) {
Bither.getMainFrame().setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR));
}
addHyperlinkListener(new ActivatedHyperlinkListener(Bither.getMainFrame(), this));
loadingMessage = LocaliserUtils.getString("browser.loadingMessage");
setEditable(false);
setBackground(Themes.currentTheme.detailPanelBackground());
String fontName = null;
if (fontName == null || "".equals(fontName)) {
fontName = ColorAndFontConstants.BITHER_DEFAULT_FONT_NAME;
}
// Add in san-serif as a fallback.
fontName = fontName + ", san-serif";
int fontSize = ColorAndFontConstants.BITHER_DEFAULT_FONT_SIZE;
boolean isItalic = false;
boolean isBold = false;
Font adjustedFont = FontSizer.INSTANCE.getAdjustedDefaultFont();
if (adjustedFont != null) {
setFont(adjustedFont);
fontSize = adjustedFont.getSize();
isItalic = adjustedFont.isItalic();
isBold = adjustedFont.isBold();
}
String fontCSS = "font-size:" + fontSize + "pt; font-family:" + fontName + ";";
if (isItalic) {
fontCSS = fontCSS + "font-style:italic;";
} else {
fontCSS = fontCSS + "font-style:normal;";
}
if (isBold) {
fontCSS = fontCSS + "font-weight:bold;";
} else {
fontCSS = fontCSS + "font-weight:normal;";
}
HTMLEditorKit kit = new HTMLEditorKit();
setEditorKit(kit);
javax.swing.text.html.StyleSheet styleSheet = kit.getStyleSheet();
styleSheet.addRule("body {" + fontCSS + "}");
Document doc = kit.createDefaultDocument();
setDocument(doc);
log.debug("Trying to load '" + currentHref + "'...");
} catch (Exception ex) {
showUnableToLoadMessage(ex.getClass().getCanonicalName() + " " + ex.getMessage());
}
}
/**
* Creates a new <code>ThemeEditorPanel</code>.
*
* @param parent dialog in which the panel is stored.
* @param title title of the panel.
* @param themeData data that is being edited.
*/
public ThemeEditorPanel(PreferencesDialog parent, String title, ThemeData themeData) {
super(parent, title);
this.themeData = themeData;
// Initialises the caption label font.
captionLabelFont = new JLabel().getFont();
captionLabelFont = captionLabelFont.deriveFont(Font.BOLD, captionLabelFont.getSize() - 1.5f);
}
/**
* Loads the Bootstrap font containing the glyphs
*
* @param size Desired font size
* @return Font object for Bootstrap Glyph Font
* @throws FontFormatException
* @throws IOException
*/
private Font loadGlyphFont(float size) throws FontFormatException, IOException {
Font fontRaw =
Font.createFont(
Font.TRUETYPE_FONT,
this.getClass()
.getResourceAsStream("/resource/image/glyphicons-halflings-regular.ttf"));
Font fontBase = fontRaw.deriveFont(16f);
return fontBase.deriveFont(Font.PLAIN, size);
}
/** @param args command line params */
public static void main(String[] args) {
try {
UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
f = UIManager.getDefaults().getFont("TabbedPane.font");
f = new Font(f.getFamily(), Font.BOLD, f.getSize());
} catch (Exception x) {
}
new TestProgram().start();
}
/**
* Create the name label if needed.
*
* @return The component that holds the name label.
*/
protected JComponent getLabelComponent() {
if (nameLabel == null) {
nameLabel = new JLabel();
Font font = nameLabel.getFont();
nameLabel.setFont(font.deriveFont(Font.ITALIC | Font.BOLD));
labelComponent = GuiUtils.hflow(Misc.newList(new JLabel("Layout Model: "), nameLabel));
}
return labelComponent;
}
/**
* Drawer : draw the variable label of the component.
*
* @param g Graphics2D of the component (casted from getGraphics).
* @param x x-cordinates of the label
* @param y y-cordinates of the label
* @param theta rotation (radians) of the label
* @param label Drawn String.
*/
private void drawString2(Graphics2D g, double x, double y, double theta, String label) {
g.setPaint(grid);
AffineTransform fontAT = new AffineTransform();
Font theFont = g.getFont();
fontAT.rotate(theta);
Font theDerivedFont = theFont.deriveFont(fontAT);
g.setFont(theDerivedFont);
g.drawString(label, (int) x, (int) y);
g.setFont(theFont);
}
// {{{ parseHighlightStyle()
SyntaxStyle parseHighlightStyle(String style) {
Font f = (resultTree != null) ? resultTree.getFont() : UIManager.getFont("Tree.font");
SyntaxStyle s;
try {
s = SyntaxUtilities.parseStyle(style, f.getFamily(), f.getSize(), true, null);
} catch (Exception e) {
style = "color:#000000";
s = SyntaxUtilities.parseStyle(style, f.getFamily(), f.getSize(), true);
}
return s;
} // }}}
/**
* Used to create the top panel describing the current feedback question
*
* @param fb Feedback question to describe
* @return Panel with title and description
*/
public JPanel createQuestionDataPanel(AbstractFeedbackType fb) {
JPanel questionPanel = new JPanel();
questionPanel.setLayout(new GridBagLayout());
questionPanel.setBorder(BorderFactory.createLineBorder(Color.LIGHT_GRAY));
GridBagConstraints leftBoxConst = new GridBagConstraints();
leftBoxConst.anchor = GridBagConstraints.LINE_START;
leftBoxConst.gridx = 0;
leftBoxConst.gridy = 0;
leftBoxConst.gridheight = 2;
JLabel titleLabel = new JLabel(fb.getTitle());
GridBagConstraints titleLabelConst = new GridBagConstraints();
titleLabelConst.anchor = GridBagConstraints.CENTER;
titleLabelConst.gridx = 1;
titleLabelConst.gridy = 0;
titleLabelConst.weightx = 1.0;
Font titleLabelFont = titleLabel.getFont();
titleLabel.setFont(
new Font(
titleLabelFont.getName(),
Font.BOLD,
titleLabelFont.getSize() + 4)); // increase label font size by 2
JLabel descLabel = new JLabel(fb.getDescription());
GridBagConstraints descLabelConst = new GridBagConstraints();
descLabelConst.anchor = GridBagConstraints.CENTER;
descLabelConst.gridx = 1;
descLabelConst.gridy = 1;
descLabelConst.weightx = 1.0;
JLabel exclLabel = new JLabel("!");
exclLabel.setAlignmentX(RIGHT_ALIGNMENT);
exclLabel.setToolTipText("Response is mandatory");
try {
exclLabel.setFont(loadGlyphFont(titleLabelFont.getSize() + 4));
exclLabel.setText("\ue101");
} catch (FontFormatException | IOException e) {
e.printStackTrace();
}
GridBagConstraints rightBoxConst = new GridBagConstraints();
rightBoxConst.anchor = GridBagConstraints.LINE_END;
rightBoxConst.gridx = 2;
rightBoxConst.gridy = 0;
rightBoxConst.gridheight = 2;
rightBoxConst.ipadx = 4;
questionPanel.add(new JPanel(), leftBoxConst);
questionPanel.add(titleLabel, titleLabelConst);
questionPanel.add(descLabel, descLabelConst);
questionPanel.add(fb.isMandatory() ? exclLabel : new JPanel(), rightBoxConst);
return questionPanel;
}
@Override
public Font getTerminalFont() {
Font normalFont = Font.decode(getFontName());
if (normalFont == null) {
normalFont = super.getTerminalFont();
}
normalFont = normalFont.deriveFont(getTerminalFontSize());
return normalFont;
}
public void loadState(UISettings object) {
XmlSerializerUtil.copyBean(object, this);
// Check tab placement in editor
if (EDITOR_TAB_PLACEMENT != TABS_NONE
&& EDITOR_TAB_PLACEMENT != SwingConstants.TOP
&& EDITOR_TAB_PLACEMENT != SwingConstants.LEFT
&& EDITOR_TAB_PLACEMENT != SwingConstants.BOTTOM
&& EDITOR_TAB_PLACEMENT != SwingConstants.RIGHT) {
EDITOR_TAB_PLACEMENT = SwingConstants.TOP;
}
// Check that alpha delay and ratio are valid
if (ALPHA_MODE_DELAY < 0) {
ALPHA_MODE_DELAY = 1500;
}
if (ALPHA_MODE_RATIO < 0.0f || ALPHA_MODE_RATIO > 1.0f) {
ALPHA_MODE_RATIO = 0.5f;
}
setSystemFontFaceAndSize();
// 1. Sometimes system font cannot display standard ASCII symbols. If so we have
// find any other suitable font withing "preferred" fonts first.
boolean fontIsValid = isValidFont(new Font(FONT_FACE, Font.PLAIN, FONT_SIZE));
if (!fontIsValid) {
@NonNls final String[] preferredFonts = {"dialog", "Arial", "Tahoma"};
for (String preferredFont : preferredFonts) {
if (isValidFont(new Font(preferredFont, Font.PLAIN, FONT_SIZE))) {
FONT_FACE = preferredFont;
fontIsValid = true;
break;
}
}
// 2. If all preferred fonts are not valid in current environment
// we have to find first valid font (if any)
if (!fontIsValid) {
Font[] fonts = GraphicsEnvironment.getLocalGraphicsEnvironment().getAllFonts();
for (Font font : fonts) {
if (isValidFont(font)) {
FONT_FACE = font.getName();
break;
}
}
}
}
if (MAX_CLIPBOARD_CONTENTS <= 0) {
MAX_CLIPBOARD_CONTENTS = 5;
}
fireUISettingsChanged();
}
@Override
public UIDefaults getDefaults() {
try {
final Method superMethod = BasicLookAndFeel.class.getDeclaredMethod("getDefaults");
superMethod.setAccessible(true);
final UIDefaults metalDefaults = (UIDefaults) superMethod.invoke(new MetalLookAndFeel());
final UIDefaults defaults = (UIDefaults) superMethod.invoke(base);
if (SystemInfo.isLinux) {
if (!Registry.is("darcula.use.native.fonts.on.linux")) {
Font font = findFont("DejaVu Sans");
if (font != null) {
for (Object key : defaults.keySet()) {
if (key instanceof String && ((String) key).endsWith(".font")) {
defaults.put(key, new FontUIResource(font.deriveFont(13f)));
}
}
}
} else if (Arrays.asList("CN", "JP", "KR", "TW")
.contains(Locale.getDefault().getCountry())) {
for (Object key : defaults.keySet()) {
if (key instanceof String && ((String) key).endsWith(".font")) {
final Font font = defaults.getFont(key);
if (font != null) {
defaults.put(key, new FontUIResource("Dialog", font.getStyle(), font.getSize()));
}
}
}
}
}
LafManagerImpl.initInputMapDefaults(defaults);
initIdeaDefaults(defaults);
patchStyledEditorKit(defaults);
patchComboBox(metalDefaults, defaults);
defaults.remove("Spinner.arrowButtonBorder");
defaults.put("Spinner.arrowButtonSize", JBUI.size(16, 5).asUIResource());
MetalLookAndFeel.setCurrentTheme(createMetalTheme());
if (SystemInfo.isWindows && Registry.is("ide.win.frame.decoration")) {
JFrame.setDefaultLookAndFeelDecorated(true);
JDialog.setDefaultLookAndFeelDecorated(true);
}
if (SystemInfo.isLinux && JBUI.isHiDPI()) {
applySystemFonts(defaults);
}
defaults.put("EditorPane.font", defaults.getFont("TextField.font"));
return defaults;
} catch (Exception e) {
log(e);
}
return super.getDefaults();
}
public Container CreateContentPane() {
// Create the content-pane-to-be.
JPanel contentPane = new JPanel(new BorderLayout());
contentPane.setOpaque(true);
// the log panel
log = new JTextPane();
log.setEditable(false);
log.setBackground(Color.BLACK);
logPane = new JScrollPane(log);
kit = new HTMLEditorKit();
doc = new HTMLDocument();
log.setEditorKit(kit);
log.setDocument(doc);
DefaultCaret c = (DefaultCaret) log.getCaret();
c.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE);
ClearLog();
// the preview panel
previewPane = new DrawPanel();
previewPane.setPaperSize(paper_top, paper_bottom, paper_left, paper_right);
// status bar
statusBar = new StatusBar();
Font f = statusBar.getFont();
statusBar.setFont(f.deriveFont(Font.BOLD, 15));
Dimension d = statusBar.getMinimumSize();
d.setSize(d.getWidth(), d.getHeight() + 30);
statusBar.setMinimumSize(d);
// layout
Splitter split = new Splitter(JSplitPane.VERTICAL_SPLIT);
split.add(previewPane);
split.add(logPane);
split.setDividerSize(8);
contentPane.add(statusBar, BorderLayout.SOUTH);
contentPane.add(split, BorderLayout.CENTER);
// open the file
if (recentFiles[0].length() > 0) {
OpenFileOnDemand(recentFiles[0]);
}
// connect to the last port
ListSerialPorts();
if (Arrays.asList(portsDetected).contains(recentPort)) {
OpenPort(recentPort);
}
return contentPane;
}
public MaritimeTradeView() {
this.setLayout(new BoxLayout(this, BoxLayout.X_AXIS));
Font font = new JButton().getFont();
Font newFont = font.deriveFont(font.getStyle(), 20);
button = new JButton("Maritime Trade");
button.setFont(newFont);
button.addActionListener(buttonListener);
this.add(button);
}
/**
* Create, if needed, and return the component label
*
* @return component label
*/
protected JLabel doMakeDisplayLabel() {
if (displayLabel == null) {
displayLabel = GuiUtils.cLabel(getName());
Font f = displayLabel.getFont();
f = f.deriveFont(18.0f);
displayLabel.setFont(f);
if (!labelShown) {
displayLabel.setVisible(false);
}
}
return displayLabel;
}
private static boolean isValidFont(final Font font) {
try {
return font.canDisplay('a')
&& font.canDisplay('z')
&& font.canDisplay('A')
&& font.canDisplay('Z')
&& font.canDisplay('0')
&& font.canDisplay('1');
} catch (Exception e) {
// JRE has problems working with the font. Just skip.
return false;
}
}
private void _applyFontStyleForSelection(Font font) {
StyledDocument doc = mTextEditor.getStyledDocument();
MutableAttributeSet attrs = mTextEditor.getInputAttributes();
StyleConstants.setFontFamily(attrs, font.getFamily());
StyleConstants.setFontSize(attrs, font.getSize());
StyleConstants.setBold(attrs, ((font.getStyle() & Font.BOLD) != 0));
StyleConstants.setItalic(attrs, ((font.getStyle() & Font.ITALIC) != 0));
StyleConstants.setUnderline(attrs, ((font.getStyle() & Font.CENTER_BASELINE) != 0));
int start = mTextEditor.getSelectionStart();
int end = mTextEditor.getSelectionEnd();
doc.setCharacterAttributes(start, (end - start), attrs, false);
}
protected void paintComponent(Graphics g) {
super.paintComponent(g);
Graphics2D g2 = (Graphics2D) g;
g2.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
int w = getWidth();
int h = getHeight();
// Draw ordinate.
g2.draw(new Line2D.Double(Points, Points, Points, h - Points));
// Draw abcissa.
g2.draw(new Line2D.Double(Points, h - Points, w - Points, h - Points));
// Draw labels.
Font font = g2.getFont();
FontRenderContext frc = g2.getFontRenderContext();
LineMetrics lm = font.getLineMetrics("0", frc);
float sh = lm.getAscent() + lm.getDescent();
// Ordinate label.
String s = "Strecke";
float sy = Points + ((h - 2 * Points) - s.length() * sh) / 2 + lm.getAscent();
for (int i = 0; i < s.length(); i++) {
String letter = String.valueOf(s.charAt(i));
float sw = (float) font.getStringBounds(letter, frc).getWidth();
float sx = (Points - sw) / 2;
g2.drawString(letter, sx, sy);
sy += sh;
}
// Abcissa label.
s = "Datum";
sy = h - Points + (Points - sh) / 2 + lm.getAscent();
float sw = (float) font.getStringBounds(s, frc).getWidth();
float sx = (w - sw) / 2;
g2.drawString(s, sx, sy);
// Draw lines.
double xInc = (double) (w - 2 * Points) / (data.length - 1);
double scale = (double) (h - 2 * Points) / getMax();
g2.setPaint(Color.green.darker());
for (int i = 0; i < data.length - 1; i++) {
double x1 = Points + i * xInc;
double y1 = h - Points - scale * data[i];
double x2 = Points + (i + 1) * xInc;
double y2 = h - Points - scale * data[i + 1];
g2.draw(new Line2D.Double(x1, y1, x2, y2));
}
// Mark data points.
g2.setPaint(Color.red);
for (int i = 0; i < data.length; i++) {
double x = Points + i * xInc;
double y = h - Points - scale * data[i];
g2.fill(new Ellipse2D.Double(x - 2, y - 2, 4, 4));
}
}
public void setFont(Font f) {
if (f != null) {
String str = f.getName();
int style = f.getStyle();
String size = "" + f.getSize();
for (int i = 0; i < fontList.getModel().getSize(); i++) {
String listStr = ((String) fontList.getModel().getElementAt(i)).toLowerCase();
if (listStr.equals(str.toLowerCase())) {
Object value = fontList.getModel().getElementAt(i);
fontList.setSelectedValue(value, true);
fontBox.setText((String) value);
break;
}
}
switch (style) {
case Font.PLAIN:
styleList.setSelectedIndex(0);
break;
case Font.ITALIC:
styleList.setSelectedIndex(2);
break;
case Font.BOLD:
styleList.setSelectedIndex(1);
break;
case Font.BOLD | Font.ITALIC:
styleList.setSelectedIndex(3);
break;
}
boolean found = false;
for (int i = 0; i < sizeList.getModel().getSize(); i++) {
String listStr = ((String) sizeList.getModel().getElementAt(i)).toLowerCase();
if (listStr.equals(size.toLowerCase())) {
Object value = sizeList.getModel().getElementAt(i);
sizeList.setSelectedValue(value, true);
sizeBox.setText((String) value);
found = true;
break;
}
}
if (!found) {
sizeBox.setText(size);
}
}
}
@Override
protected JComponent getRowPresentation(
ParameterTableModelItemBase<ParameterInfoImpl> item,
boolean selected,
final boolean focused) {
final JPanel panel = new JPanel(new BorderLayout());
final String typeText = item.typeCodeFragment.getText();
final String separator =
StringUtil.repeatSymbol(' ', getTypesMaxLength() - typeText.length() + 1);
String text = typeText + separator + item.parameter.getName();
final String defaultValue = item.defaultValueCodeFragment.getText();
String tail = "";
if (StringUtil.isNotEmpty(defaultValue)) {
tail += " default value = " + defaultValue;
}
if (item.parameter.isUseAnySingleVariable()) {
if (StringUtil.isNotEmpty(defaultValue)) {
tail += ";";
}
tail += " Use any var.";
}
if (!StringUtil.isEmpty(tail)) {
text += " //" + tail;
}
final EditorTextField field =
new EditorTextField(" " + text, getProject(), getFileType()) {
@Override
protected boolean shouldHaveBorder() {
return false;
}
};
Font font = EditorColorsManager.getInstance().getGlobalScheme().getFont(EditorFontType.PLAIN);
font = new Font(font.getFontName(), font.getStyle(), 12);
field.setFont(font);
if (selected && focused) {
panel.setBackground(UIUtil.getTableSelectionBackground());
field.setAsRendererWithSelection(
UIUtil.getTableSelectionBackground(), UIUtil.getTableSelectionForeground());
} else {
panel.setBackground(UIUtil.getTableBackground());
if (selected && !focused) {
panel.setBorder(new DottedBorder(UIUtil.getTableForeground()));
}
}
panel.add(field, BorderLayout.WEST);
return panel;
}
public TabbedEditor(org.colos.ejs.osejs.Osejs _ejs, String _type, String _header) {
ejs = _ejs;
defaultType = _type;
defaultHeader = _header;
defaultString = new String(res.getString(defaultHeader + ".Page"));
MyActionListener al = new MyActionListener();
popupMenu = new PopupMenu();
customMenuItems(al); // Creates the top menu items
// common menu items
copyPage = createMenuItem("copyPage", defaultHeader, al);
upPage = createMenuItem("upPage", defaultHeader, al);
dnPage = createMenuItem("dnPage", defaultHeader, al);
renamePage = createMenuItem("renamePage", defaultHeader, al);
popupMenu.addSeparator();
togglePage = createMenuItem("togglePage", defaultHeader, al);
removePage = createMenuItem("removePage", defaultHeader, al);
JPanel firstPanel = createFirstPanel();
tabbedPanel = new JTabbedPane();
tabbedPanel.setTabLayoutPolicy(JTabbedPane.SCROLL_TAB_LAYOUT);
tabbedPanel.add(popupMenu);
// tabbedPanel.setPreferredSize (res.getDimension("TabbedEditor.PreferredSize"));
tabbedPanel.addMouseListener(
new java.awt.event.MouseAdapter() {
public void mousePressed(java.awt.event.MouseEvent evt) {
if (OSPRuntime.isPopupTrigger(evt)) // SwingUtilities.isRightMouseButton(evt))
showMenu(evt.getComponent(), evt.getX(), evt.getY());
}
});
cardLayout = new CardLayout();
finalPanel = new JPanel(cardLayout);
finalPanel.add(tabbedPanel, "TabbedPanel");
finalPanel.add(firstPanel, "FirstPanel");
setFont(finalPanel.getFont());
Font font = InterfaceUtils.font(null, res.getString("Editor.TitleFont"));
addPageMI.setFont(font);
copyPage.setFont(font);
upPage.setFont(font);
dnPage.setFont(font);
togglePage.setFont(font);
removePage.setFont(font);
renamePage.setFont(font);
myFont = font.deriveFont(Font.PLAIN);
showFirstPage();
}
@Override
public Component getListCellRendererComponent(
JList list, Object value, int index, boolean isSelected, boolean cellHasFocus) {
if (!(value instanceof Delimiter)) {
return super.getListCellRendererComponent(list, value, index, isSelected, cellHasFocus);
} else {
JLabel label = new JLabel(value.toString());
Font f = label.getFont();
label.setFont(f.deriveFont(f.getStyle() | Font.BOLD | Font.ITALIC));
Dimension size = label.getPreferredSize();
size.height += 5;
label.setPreferredSize(size);
return label;
}
}
