robmcmullen/peppy — Issue #40: disable undo/redo in shell
Author: robmcmullen
Created: 2012-02-21 01:00:01+00:00
State: open
Labels: plugins

Shell mode shouldn't show the "*" indicating modified -- it's implicit, so don't take up GUI space.