Oh, almost forgotten, plugins should on uninstalling have an
option to clean up. Settings, Properties etc. If I only installed a
plugin to test if it fits my need I don't want to have some dead files
and properties laying around after deinstalling it. For some others I
would keep the settings for later reinstalling maybe.)
| Topic ImprovingJEditDev . { Edit | Attach | Ref-By | Printable | Diffs | r1.7 | > | r1.6 | > | r1.5 | More } |
|
Revision r1.7 - 22 Jul 2005 - 12:54 GMT - Dennis Benzinger Parents: Web Home |
Copyright © 1999-2004 by the contributing authors.
All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding jEdit Community Wiki? Send feedback. |