Printing uses different margins, so reset screen margins. Bug #3517854.
Printing uses different margins, so reset screen margins. Bug #3517854.

windoze/scintilla,keperlia/foo-wsh-panel-mod.scintilla,windoze/scintilla,windoze/scintilla,keperlia/foo-wsh-panel-mod.scintilla,windoze/scintilla,keperlia/foo-wsh-panel-mod.scintilla,windoze/scintilla,windoze/scintilla,keperlia/foo-wsh-panel-mod.scintilla,keperlia/foo-wsh-panel-mod.scintilla,keperlia/foo-wsh-panel-mod.scintilla,windoze/scintilla,windoze/scintilla