Implement the document-reloading that happens on "Tab -> Reload" and "Tab ->…

Authored by David Nolden <david.nolden.kde@art-master.de>.

Description

Implement the document-reloading that happens on "Tab -> Reload" and "Tab -> Reload All" using the simple and safe KTextEditor::Document::documentReload() which is also used by the F5 shortcut, instead of calling PartDocument::openUrl which completely broke code-completion and code-highlighting until the document was reopened.

Details

Committed
David Nolden <david.nolden.kde@art-master.de>Feb 13 2010, 2:56 PM
Parents
R33:b70edf956efc: add name to SessionInfo
Branches
Unknown
Tags
Unknown
David Nolden <david.nolden.kde@art-master.de> committed R33:84e234848c63: Implement the document-reloading that happens on "Tab -> Reload" and "Tab ->… (authored by David Nolden <david.nolden.kde@art-master.de>).Feb 13 2010, 2:56 PM