| Version 5 (modified by bowtie, 20 months ago) (diff) |
|---|
Edit -> Auto-Diff draft
Margin Markers
Revision 16300 marks a new milestone in Padre version control system (VCS) support. You can now type and Padre will automatically calculate differences and display them as margin markers.
- plus (added), dark green.
- minus (deleted), red.
- right arrow marker (changed), blue.
You can click then on those margin markers to show what has actually been added, deleted or changed.
Diff-Box
Just wanted to say that I recently added a differences popup window to Padre's editor.
- You can now traverse all differences in your current document (via Ctrl + comma).
- The dialog shows you what was added, deleted or changed at the current difference and enables you to revert the change if needed.
- Padre can also automatically detect and find differences against your local repository (subversion or git) or the locally saved document.
Previous Diff
Next Diff
Revert
Miscellaneous
Limitations
ToDo
__END__
Attachments
-
go-up.png
(546 bytes) -
added by bowtie 20 months ago.
Up
-
go-down.png
(566 bytes) -
added by bowtie 20 months ago.
Down
-
edit-undo.png
(563 bytes) -
added by bowtie 20 months ago.
Revert
-
padre_diffs.png
(9.3 KB) -
added by bowtie 20 months ago.
diff-icons
-
cool_diff_box.png
(39.8 KB) -
added by bowtie 20 months ago.
diff-box
-
diff-box.png
(8.5 KB) -
added by bowtie 20 months ago.
Diff-Box





