re #102 - for AboutGLDisplay and StringVectorPrinter