source:
josm/trunk/src/org/openstreetmap/josm/gui/preferences/plugin@
16438
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 | 16438 | 4 years | see #19251 - Java 8: use Stream | |
PluginInstallation.java | 369 bytes | 13799 | 6 years | fix #16220 - filter plugins by installation state | |
PluginListPanel.java | 6.1 KB | 16410 | 4 years | fix #19227 - PluginListPanel: speed up scrolling | |
PluginPreference.java | 26.6 KB | 16438 | 4 years | see #19251 - Java 8: use Stream | |
PluginPreferencesModel.java | 11.8 KB | 16438 | 4 years | see #19251 - Java 8: use Stream | |
PluginUpdatePolicyPanel.java | 8.3 KB | 16438 | 4 years | see #19251 - Java 8: use Stream |
Note:
See TracBrowser
for help on using the repository browser.