[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Newsgroup Home]
|
[news.eclipse.platform.rcp] Reload file in FormEditor
|
- From: benjamin.bihler@xxxxxx (Benjamin Bihler)
- Date: Tue, 7 Oct 2008 15:26:01 +0000 (UTC)
- Newsgroups: eclipse.platform.rcp
- Organization: Eclipse
- User-agent: NewsPortal/0.36 (http://florian-amrhein.de/newsportal)
Hi,
I am using a FormEditor to edit xml files. If the file on the hard disk
has changed, I would like to offer a reload feature to the user, but I
don't know how to do that. Should I use
window.getActivePage().openEditor
and
window.getActivePage().closeEditor
as soon as I recognize the change or is there a better way to reload a
file in an editor?
Thank you very much!
Benjamin