API Version: 41.0
Library Version: 41.0
property repeat: guint [ read, write ]
The number of times to repeat a move operation when calling ide_editor_search_move(). This allows for stateful moves which might be necessary when activating keybindings.
ide_editor_search_move()
This property will be cleared after an attempt to move.
guint