changed message protocol (first line is always the related file); the plugin properly asks for a fresh filelist on every window re-activation; closed or saved files are reloaded, their related style elements are removed; server properly keeps track of handlers and their changing filelist