#4356: opening file in TextViewer