|
Selection Margin
Selection Margin is a thin vertical margin along the left hand side of the EditControl. Individual lines can be selected, by a click on this Selection Margin, at its respective region, in the EditControl.
Selection Margin in the EditControl
The saved lines and unsaved lines can be marked with different colors. Saving the editor contents, modifies the marker color of the unsaved lines to that of the saved lines. Performing modifications now will produce a change in the marker color for the modified lines. This feature helps one to keep track of the modifications done after the last save operation. In the EditControl, illustrated below, the changed and unchanged lines have been marked with different colors.
Changed and unchanged lines marked differently
|
|
|
|