diff gui/interface.h @ 26875:c276296cb6f8

Simplify/make new_sh behaviour more consistent when a stream gets redefined.
author reimar
date Tue, 27 May 2008 17:33:13 +0000
parents b0a7b35b78d2
children e7c989f7a7c9
line wrap: on
line diff