Version 5 (modified by bowtie, 4 years 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.



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

Up Move to Previous Diff.

Next Diff

Down Move to Next Diff.


Revert Revert current Diff.






Attachments (6)

Download all attachments as: .zip