2023-11-19 01:53:56 +03:00
|
|
|
package Common.UI.Windows.Interface;
|
2023-09-17 22:13:42 +03:00
|
|
|
public interface SPFEditorInterface {
|
|
|
|
|
//-----------------------------------
|
|
|
|
|
void ClearHighlights();
|
|
|
|
|
//---------------->>
|
|
|
|
|
void ClearLoopsHighLights();
|
|
|
|
|
void ClearGOCVHighlights();
|
|
|
|
|
//----------------->>
|
|
|
|
|
void HighlightLoops();
|
|
|
|
|
void HighlightGCOV();
|
|
|
|
|
//------------------------------------
|
|
|
|
|
void gotoLine(int num);
|
|
|
|
|
int getCurrentLine();
|
|
|
|
|
int getCaretPosition();
|
|
|
|
|
String getText();
|
|
|
|
|
}
|
