-
Paolo Borelli authored
We decided to keep this in the preferences dialog for now instead of adding yet another item to the menu. In the UI we refer to the minimap with the term "Overview Map", which is what Builder uses. This also changes the setting name and position to be more consistent with other settings (line numbers, right margin, etc)
0bd65d2d