Editor-added in file exporting #76
Description
Ensure ready for editor-added starred numbers and mini-maps, color difference for editor-added starred numbers in table, possibly some tag or label to indicate editor-added when exported
{{ message }}
Ensure ready for editor-added starred numbers and mini-maps, color difference for editor-added starred numbers in table, possibly some tag or label to indicate editor-added when exported