allow loading a document with undo
first step towards implementing issue #103: manual File->Reload and File-Reload All actions
po: new strings, nl translation
Document.urlChanged and app.documentUrlChanged now give the new and the old url as arguments
Merge branch 'master' of github.com:wbsoft/frescobaldi
beginnings of documentwatcher, watches documents for modifications on disk by other programs
signals.SignalContext: a new type of signal that is actually a contextmanager, other contextmanager-generating callables can connect to, and then they are run as well when a certain context-operation is run. (in progress)
SignalContext variant actually working
more doc
remove debug print
new app.documentSaving() SignalContext: it is entered while a document is saving.
documentwatcher works well, now the user interface part
doc
of course this signal should be there too
use documentSaved in document watcher
wip: external changes dialog
the external changes dialog is working quite nice, now just the actions need to be implemented
move html diff functionality to separate small module
all actions work
now the documentwatcher can be disabled via a checkbox in the "external changes" dialog.