Salome HOME
Add setCurrentLine to PyEditor API.
[modules/gui.git] / tools / PyEditor / src / PyEditor_Widget.h
index f7ba959773adb48998441ea295893b44c070b8e1..4e5bffee53c4490148851e5037dc7aefa86af384 100644 (file)
@@ -72,6 +72,8 @@ public slots:
 
   void setText( const QString& );
 
+  void setCurrentLine( int );
+
 signals:
   void modificationChanged( bool );
   void undoAvailable( bool );