Jump to letter: [
ABCDEFGHIJKLMNOPQRSTUVWX
]
prefedit: Java Preferences Editor
- Summary
- 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.
Arch: noarch
Download: | prefedit-0.6-1jpp.src.rpm |
Build Date: | Thu Nov 4 20:13:19 2004 |
Packager: | Ville Skyttä <ville.skytta at iki.fi> |
Size: | 240 KiB |
Changelog
- * Thu Nov 4 09:00:00 2004 Ville Skyttä <ville.skytta at iki.fi> - 0:0.6-1jpp
-
- Update to 0.6, should now work with Java 1.5 too.
- Exclude private stuff from javadocs.
- * Tue Aug 24 10:00:00 2004 Fernando Nasser <fnasser{%}redhat{*}com> - 0:0.5-2jpp
-
- Rebuild with Ant 1.6.2
- * Mon Jun 7 10:00:00 2004 Ville Skyttä <ville.skytta at iki.fi> - 0:0.5-1jpp
-
- First build.