|
|
@ -39,7 +39,7 @@ class console : public Widget
|
|
|
|
// console
|
|
|
|
// console
|
|
|
|
ExtTerminalInterface *terminal()
|
|
|
|
ExtTerminalInterface *terminal()
|
|
|
|
{
|
|
|
|
{
|
|
|
|
return static_cast<ExtTerminalInterface*>(konsole->qt_cast( "ExtTerminalInterface" ) );
|
|
|
|
return static_cast<ExtTerminalInterface*>(konsole->tqt_cast( "ExtTerminalInterface" ) );
|
|
|
|
}
|
|
|
|
}
|
|
|
|
virtual bool eventFilter( TQObject *o, TQEvent *e );
|
|
|
|
virtual bool eventFilter( TQObject *o, TQEvent *e );
|
|
|
|
TQString m_kdePrefix;
|
|
|
|
TQString m_kdePrefix;
|
|
|
|