mirror of
https://github.com/java-decompiler/jd-gui.git
synced 2024-12-11 14:33:42 +00:00
Fixes an issue on the opening of types and improves preference labels
This commit is contained in:
parent
5257db58e9
commit
3b0ad10e90
@ -134,7 +134,7 @@ class MainTabbedPanel extends TabbedPanel implements UriOpenable, PageChangeList
|
|||||||
// Enable page changed event
|
// Enable page changed event
|
||||||
pageChangedListenersEnabled = true
|
pageChangedListenersEnabled = true
|
||||||
// Search & display sub tab
|
// Search & display sub tab
|
||||||
page.openUri(uri)
|
return page.openUri(uri)
|
||||||
}
|
}
|
||||||
return true
|
return true
|
||||||
} else {
|
} else {
|
||||||
|
@ -203,7 +203,12 @@ class TreeTabbedPanel extends JPanel implements UriGettable, UriOpenable, PageCh
|
|||||||
def childU = it.uri.toString()
|
def childU = it.uri.toString()
|
||||||
|
|
||||||
if (u.length() > childU.length()) {
|
if (u.length() > childU.length()) {
|
||||||
return u.startsWith(childU) && (u.charAt(childU.length()) == '/')
|
if (u.startsWith(childU)) {
|
||||||
|
char c = u.charAt(childU.length())
|
||||||
|
return (c == '/') || (c == '!')
|
||||||
|
} else {
|
||||||
|
return false
|
||||||
|
}
|
||||||
} else {
|
} else {
|
||||||
return u.equals(childU)
|
return u.equals(childU)
|
||||||
}
|
}
|
||||||
|
@ -35,7 +35,7 @@ class ClassFileSaverPreferencesProvider extends JPanel implements PreferencesPan
|
|||||||
omitThisPrefixCheckBox = new JCheckBox("Omit the prefix 'this' if possible")
|
omitThisPrefixCheckBox = new JCheckBox("Omit the prefix 'this' if possible")
|
||||||
realignLineNumbersCheckBox = new JCheckBox('Realign line numbers')
|
realignLineNumbersCheckBox = new JCheckBox('Realign line numbers')
|
||||||
writeDefaultConstructorCheckBox = new JCheckBox('Write default constructor')
|
writeDefaultConstructorCheckBox = new JCheckBox('Write default constructor')
|
||||||
writeLineNumbersCheckBox = new JCheckBox('Write line numbers')
|
writeLineNumbersCheckBox = new JCheckBox('Write original line numbers')
|
||||||
writeMetadataCheckBox = new JCheckBox('Write metadata')
|
writeMetadataCheckBox = new JCheckBox('Write metadata')
|
||||||
|
|
||||||
add(escapeUnicodeCharactersCheckBox)
|
add(escapeUnicodeCharactersCheckBox)
|
||||||
|
Loading…
Reference in New Issue
Block a user