|
customize bookmarks and conflict markers shape and colours?
Open the Options dialog box or press Shift+11, select the "Markers" category. Change the Makers shape and/or colours and click on OK to validate. Your modifications take effect immediately. |
|