I'm missing a possibility to rollback to a backed up
version of a file from within jEdit (e. g. with a
preview of all available backup files) except of
doing it manually through file copying.
Sorry if this is a dupe, but I have many bugs to post
and am too lazy to check them all for dupes
currently. :-)
OS: Windows XP
Java Version: Sun Java 1.5.0_09-b03
jEdit Version: 4.3pre8
Submitted | vampire0 - 2006-11-09 13:22:48 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | |
Resolution | None |
2006-11-24 08:04:59 kpouer |
Logged In: YES |
---|---|
2011-12-01 02:28:50 vampire0 |
While a plugin with full file history could maybe be good, this request was just for some simple GUI to rollback to the backup files that jEdit already creates. Of course this could also be done in a plugin I guess as the essential part is just making the backups and that is already present in the core. |
2017-12-30 17:04:21.188000 ezust |
- **summary**: Possiblity to rollback to a backed up version --> Possiblity to restore
from to a backup |
2017-12-30 17:04:31.722000 ezust |
- **summary**: Possiblity to restore from to a backup --> Possiblity to restore from
a backup |