menu
fluent_editor package
documentation
selection_manager.dart
SelectionManager
setPositionIndex method
setPositionIndex method
dark_mode
light_mode
setPositionIndex
method
void
setPositionIndex
(
Map
<
String
,
int
>
index
)
Implementation
void setPositionIndex(Map<String, int> index) => _positionIndex = index;
fluent_editor package
documentation
selection_manager
SelectionManager
setPositionIndex method
SelectionManager class