-
Notifications
You must be signed in to change notification settings - Fork 28.8k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Ambiguity in the term "ruler" #30610
Comments
I agree on the possible ambiguity on the overload of "ruler". Here is how we got these terms:
|
Thanks for the historical background. Given what we both said:
and:
I think there's agreement that the term "indent guides" is not ambiguous and can be set aside for the purposes of this discussion. On the other hand, when you say
It isn't clear to me how consensual (say, in a scale from 0 to "indent guides") you're considering that term to be. My understanding is that (1) "overview ruler" isn't as established in the general space of text editors, although there certainly is some historical baggage that needs to be taken into consideration if a rename is to be considered. Is that interpretation fair? If so, I'll suggest that (2) the name "overview ruler" is markedly more likely to confuse users unfamiliar with the concept than the name "scrollbar overlay", especially given the ambiguity with "editor rulers" mentioned above. I also suggest that this would apply to users familiar with the concept but under a different name than "overview ruler". On the other hand, I'm assuming (3) that "scrollbar overlay" is not very likely to confuse users who are familiar with the concept under the name "overview ruler". If all 3 points above can be considered plausible, then I think it the sensible option to resolve the ambiguity is to rename "overview ruler" to "scrollbar overlay". Then again, as I mentioned before, renaming "editor.rulers" to "editor.guides" would also be an option. I'd prefer the former because the overall naming scheme would be more intuitive (and we'd preserve the semantic distinction of full-height rulers vs. block-specific guides), but the latter would at least remove the ambiguity in terminology used by VS Code. (sorry for the wall of text 😇) |
@alexandrudima I realize my last comment might have been too long and not very actionable -- sorry about that. In the interest of moving this forward: is there any nomenclature change you'd consider compatible to the context you described above? Would you like me to clarify/summarize my questions, or make a specific proposal? |
This issue is being closed to keep the number of issues in our inbox on a manageable level, we are closing issues that are not going to be addressed in the foreseeable future: We look at the number of votes the issue has received and the number of duplicate issues filed. More details here. If you disagree and feel that this issue is crucial: We are happy to listen and to reconsider. If you wonder what we are up to, please see our roadmap and issue reporting guidelines. Thanks for your understanding and happy coding! |
@mjbvz I'd appreciate if you could add some words about why this is considered out of scope. Is that a priority marker, or does it mean this will never be considered? |
I had to find this issue to understand what the Overview Ruler Border was in the settings. |
Currently the term "ruler" is used for two distinct concepts. One of them is effectively a thin vertical line (as in
editor.rulers
), and the other is the "overview ruler", which isn't a line at all. Honestly I don't think "overview ruler" is an intuitive name. I think something like "scrollbar overlay" would convey the meaning much more clearly.To add to the confusion, there are other thin vertical lines that are not called "rulers", but "guides" (i.e. the indentation guides). I don't think this distinction is problematic, since such guides are local and contextual, whereas rulers (in the sense used by "editor.rulers") are global and span the entire height of the editor. But I'd be OK if instead it was decided to rename "editor.rulers" to "editor.guides", since that would resolve the ambiguity as well.
Note that #30609 would depend on the choice made here, in order to maintain internal naming coherence an avoid introducing another ambiguity :)
The text was updated successfully, but these errors were encountered: