Home
last modified time | relevance | path

Searched refs:editButton (Results 1 – 3 of 3) sorted by relevance

/external/proguard/src/proguard/gui/
DClassSpecificationsPanel.java85 JButton editButton = new JButton(msg("edit")); in addEditButton() local
86 editButton.addActionListener(new ActionListener() in addEditButton()
104 addButton(tip(editButton, "editTip")); in addEditButton()
DMemberSpecificationsPanel.java117 JButton editButton = new JButton(msg("edit")); in addEditButton() local
118 editButton.addActionListener(new ActionListener() in addEditButton()
142 addButton(tip(editButton, "editTip")); in addEditButton()
DClassPathPanel.java118 JButton editButton = new JButton(msg("edit")); in addEditButton() local
119 editButton.addActionListener(new ActionListener() in addEditButton()
172 addButton(tip(editButton, "editTip")); in addEditButton()