source:
josm/trunk/src/org/openstreetmap/josm/gui/preferences/plugin@
13431
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
package-info.java | 165 bytes | 7937 | 9 years | add subversion property svn:eol=native | |
PluginCheckBox.java | 3.8 KB | 11848 | 7 years | fix #14613 - Special HTML characters not escaped in GUI error messages | |
PluginListPanel.java | 5.4 KB | 13111 | 6 years | fix #11217, fix #12623 - major rework of notes tooltips: - display … | |
PluginPreference.java | 26.4 KB | 13431 | 6 years | fix #15950 - Preferences Help button should go directly to selected … | |
PluginPreferencesModel.java | 11.5 KB | 12846 | 7 years |
see #15229 - use Config.getPref() wherever possible
|
|
PluginUpdatePolicyPanel.java | 8.3 KB | 13064 | 6 years |
remove legacy properties (pluginmanager.warntime and …
|
Note:
See TracBrowser
for help on using the repository browser.