public PropertyPanel(String title) { this(); this.title = title; border.setTitle(title); }
private void setSliderTitle(JSlider slider, Color color, String str) { //Border empty = BorderFactory.createTitledBorder( BorderFactory.createEmptyBorder() ); TitledBorder tb = new TitledBorder(BorderFactory.createEtchedBorder(), //empty, "", TitledBorder.CENTER, TitledBorder.ABOVE_BOTTOM, new Font("Sans", Font.PLAIN, 11)); tb.setTitleJustification(TitledBorder.LEFT); tb.setTitle(str); tb.setTitleColor(color); slider.setBorder(tb); }
public void setTitle(String title) { this.title = title; border.setTitle(title); revalidate(); } }
public void onActivePropertyChanged() { if (activeProperty != null) { titledBorder.setTitle(activeProperty.getTitle()); if (activeProperty.getValueType() == Float.class) { setValue(activeProperty.getValue(), activeProperty.getMinValue(), activeProperty.getMaxValue()); } } }
public static void setTitle (JPanel panel, String title) { Border border = panel.getBorder(); if (border instanceof TitledBorder) { ((TitledBorder) panel.getBorder()).setTitle(title); panel.repaint(); } else { panel.setBorder(BorderFactory.createTitledBorder(title)); } }
/** * Dfinition du titre du panneau. */ public void setTitle(String _title) { ttbdpnPlan.setTitle(_title); } /**
private void internationalize() { setTitle(Main.strings.getString("title") + " - " + RefStrings.VERSION); ipLabel.setText(Main.strings.getString("server_address")); portLabel.setText(Main.strings.getString("server_port")); B_sync.setText(Main.strings.getString("go_button")); B_sync.setToolTipText(Main.strings.getString("button_tooltip")); TA_border_title.setTitle(Main.strings.getString("console_title")); TA_info.repaint(); }
public void actionPerformed(ActionEvent e) { model.removeAllElements(); SearchResultsPanel.this.repaint(); border.setTitle(""); cleanB.setEnabled(false); } });
/** * Changes the "expanded" status of this control. * * @param aExpanded Flag indicating if this panel must become expanded or hidden. */ private void setExpanded(boolean aExpanded) { Component[] controls = getComponents(); for (int i = 0; i < controls.length - 1; ++i) { controls[i].setVisible(aExpanded); } ((TitledBorder) getBorder()).setTitle(aExpanded ? titleExpanded : titleHidden); }
@Override public void setBorder(final Border border) { if (border instanceof TitledBorder) { final TitledBorder b = (TitledBorder) border; b.setTitle(JKMessage.get(b.getTitle(), true)); } super.setBorder(border); }
public void updateTitle() { getBorder().setTitle("Algorithms (" + jTable.getRowCount() + ")"); repaint(1000); } }
@Override public void onRelocalization() { TitledBorder border = (TitledBorder) this.getBorder(); border.setTitle(Language.INSTANCE.localize("common.nothingtoshow")); } }
public void setSerie(SeriesGroup seriesGroup) { this.seriesGroup = seriesGroup; this.titleBorder.setTitle(getDisplayText()); update(); }
public void setImageInfo(AcquireImageInfo imageInfo) { this.imageInfo = imageInfo; this.titleBorder.setTitle(getDisplayText()); setMetaVisible(imageInfo != null); update(); }
private void setNewTitle(Border border, String newText) { if (border instanceof TitledBorder) { ((TitledBorder) border).setTitle(newText); } else if (border instanceof CompoundBorder) { CompoundBorder compoundBorder = (CompoundBorder) border; setNewTitle(compoundBorder.getInsideBorder(), newText); setNewTitle(compoundBorder.getOutsideBorder(), newText); } }
@Override public AcquireMetadataTableModel newTableModel() { AcquireSerieMeta model = new AcquireSerieMeta(seriesGroup); model.addTableModelListener(e -> { this.titleBorder.setTitle(getDisplayText()); seriesGroup.fireDataChanged(); }); return model; }
@Override public void stateChanged(ChangeEvent e) { float newScale = scaleSlider.getValue() / 10f; _spat.getLocalTranslation().y /= _spat.getLocalScale().y; _spat.getLocalTranslation().y *= newScale; translationPanel.setValue(_spat.getLocalTranslation()); _spat.setLocalScale(newScale); scaleBorder.setTitle("Scale: " + newScale); } });
public void updateSliderProoperties(JSliderW slider) { JPanel panel = (JPanel) slider.getParent(); String result = basicState.getActionW().getTitle() + StringUtil.COLON_AND_SPACE + getValueToDisplay(); if (slider.isdisplayValueInTitle() && panel != null && panel.getBorder() instanceof TitledBorder) { ((TitledBorder) panel.getBorder()).setTitle(result); panel.repaint(); } else { slider.setToolTipText(result); } }
private void refreshUI() { titledBorder.setTitle(cacheModel.getCacheName()); tti.getModel().setValue(cacheModel.getTimeToIdleSeconds()); ttl.getModel().setValue(cacheModel.getTimeToLiveSeconds()); maxElementsOnDisk.getModel().setValue(cacheModel.getMaxElementsOnDisk()); maxElementsInMemory.getModel().setValue(cacheModel.getMaxElementsInMemory()); loggingToggle.setSelected(cacheModel.isLoggingEnabled()); }