void (boolean tiny) { // text field without horizontal margins myVersion = new JTextField() { @Override public void setBorder(Border border) { super.setBorder(null); } @Override public void updateUI() { super.updateUI(); if (myVersion != null) { PluginDetailsPageComponent.setFont(myVersion, tiny); } if (myVersionSize != null) { PluginDetailsPageComponent.setFont(myVersionSize, tiny); } } }; myVersion.putClientProperty("TextFieldWithoutMargins", Boolean.TRUE); myVersion.setEditable(false); setFont(myVersion, tiny); myVersion.setBorder(null); myVersion.setOpaque(false); myVersion.setForeground(ListPluginComponent.GRAY_COLOR); myVersion.addFocusListener(new FocusAdapter() { @Override public void focusLost(FocusEvent e) { int caretPosition = myVersion.getCaretPosition(); myVersion.setSelectionStart(caretPosition); myVersion.setSelectionEnd(caretPosition); } }); myVersionSize = new JLabel(); setFont(myVersionSize, tiny); }