Jump to letter: [
ABCDEFGHIJKLMNOPQRSTUVWX
]
prefedit - Java Preferences Editor
- Description:
Preferences Editor is small utility to browse and edit the user and
system preferences, which are accessible via the Java 1.4 package
java.util.prefs. This could be useful for interactive tests when
developing applications which use the preferences API. It may also be
useful for trouble shooting when an applications preferences are
destroyed. In addition to the interactive browsing and editing there
is an import/export facility integrated in the GUI.
Packages
| prefedit-0.6-1jpp.src
[222 KiB] |
Changelog
by Ville Skyttä (2004-11-04):
- Update to 0.6, should now work with Java 1.5 too.
- Exclude private stuff from javadocs.
|
| prefedit-0.6-1jpp.noarch
[34 KiB] |
Changelog
by Ville Skyttä (2004-11-04):
- Update to 0.6, should now work with Java 1.5 too.
- Exclude private stuff from javadocs.
|