1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-28 09:24:14 +01:00

Compare commits

...

7 Commits

Author SHA1 Message Date
Yury Zykov
7737c631b4
Merge b66ef391cf into 89539b1131 2022-11-06 23:40:37 +09:00
yzykov
b66ef391cf Added field in Preferences.form 2020-03-27 22:03:00 -07:00
yzykov
2c52068700 Revert "Ctrl-shift-U does not work work when editor is focused #9895"
This reverts commit 15fc84e021.
2020-03-27 17:09:03 -07:00
yzykov
fbb07bbe76 Revert "Revert "[Preferences] Button problem in Preferences #9185""
This reverts commit 70974d7a13.
2020-03-27 17:08:45 -07:00
yzykov
70974d7a13 Revert "[Preferences] Button problem in Preferences #9185"
This reverts commit 3def4aa103.
2020-03-27 17:05:20 -07:00
yzykov
3def4aa103 [Preferences] Button problem in Preferences #9185 2020-03-27 16:53:38 -07:00
yzykov
15fc84e021 Ctrl-shift-U does not work work when editor is focused #9895 2020-03-27 14:56:10 -07:00
2 changed files with 4 additions and 0 deletions

View File

@ -366,6 +366,9 @@
<Property name="icon" type="javax.swing.Icon" editor="org.netbeans.modules.form.RADConnectionPropertyEditor">
<Connection code="new ImageIcon(Theme.getThemeImage(&quot;newwindow&quot;, this, Theme.scale(16), Theme.scale(14)))" type="code"/>
</Property>
<Property name="toolTipText" type="java.lang.String" editor="org.netbeans.modules.form.RADConnectionPropertyEditor">
<Connection code="tr(&quot;Enter additional URLs, one for each row&quot;)" type="code"/>
</Property>
<Property name="margin" type="java.awt.Insets" editor="org.netbeans.beaninfo.editors.InsetsEditor">
<Insets value="[1, 1, 1, 1]"/>
</Property>

View File

@ -218,6 +218,7 @@ public class Preferences extends javax.swing.JDialog {
additionalBoardsManagerField.setToolTipText(tr("Enter a comma separated list of urls"));
extendedAdditionalUrlFieldWindow.setIcon(new ImageIcon(Theme.getThemeImage("newwindow", this, Theme.scale(16), Theme.scale(14))));
extendedAdditionalUrlFieldWindow.setToolTipText(tr("Enter additional URLs, one for each row"));
extendedAdditionalUrlFieldWindow.setMargin(new java.awt.Insets(1, 1, 1, 1));
extendedAdditionalUrlFieldWindow.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(java.awt.event.ActionEvent evt) {