log libgui/src/terminal-dock-widget.cc @ 16484:fa842e78f491

age author description
Mon, 08 Apr 2013 13:34:24 -0400 John W. Eaton use pointer for terminal inside terminal_dock_widget
Sun, 07 Apr 2013 12:36:07 -0400 John W. Eaton move common functionality to octave_dock_widget base class
Sun, 07 Apr 2013 12:07:10 -0400 John W. Eaton use consistent names for dock-widget files base libgui/src/terminal-dockwidget.cc@6895eb04209f