Skip to content
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

Set rulers width #2136

Closed
gerardroche opened this issue Jan 1, 2018 · 13 comments
Closed

Set rulers width #2136

gerardroche opened this issue Jan 1, 2018 · 13 comments

Comments

@gerardroche
Copy link

I suggest adding a setting to specify the rulers width.

Currently all rulers have a width of, what assume is, 1px.

The size could be column-based i.e. 1 = 1 column, 2 = 2 columns, etc.

@FichteFoll
Copy link
Collaborator

I assume some people would like to see it wider but just by a few pixels too, similar to the caret width.

@gerardroche
Copy link
Author

The rulers settings is a list e.g. [80, 120], so maybe a rulers_width setting could also be a list where you could define the width of each ruler or just set one size for all.

@Saevon
Copy link

Saevon commented Jun 14, 2019

For now, you can "sort of" add ruler width: "rulers": [79.8, 79.9, 80, 80.1, 80.2] would have a 5 size ruler

@jrappen
Copy link
Contributor

jrappen commented Nov 27, 2019

@FichteFoll not sure whether adding a with-patch label here is appropriate

@FichteFoll
Copy link
Collaborator

FichteFoll commented Nov 27, 2019

@jrappen Do you suggest to add it? Because it's currently not here and I don't see a patch/changeset that could be applied by the core devs.

@jrappen
Copy link
Contributor

jrappen commented Nov 27, 2019

@FichteFoll Saevon's last comment is a dirty hack that kinda works

@FichteFoll
Copy link
Collaborator

That's just a workaround, not a solution.

@dirediredock
Copy link

customizing the rulers that show up when identing would be fantastic too! something like the caret settings perhaps?

@FichteFoll
Copy link
Collaborator

Are you refering to indent guides? There are a couple settings for that, also for the color scheme.

@dirediredock
Copy link

From ST4 settings:

	// Controls how the indent guides are drawn. Options may be combined, with
	// valid options being:
	//  - "draw_normal" - will draw plain indent guides for every indentation
	//    group
	//  - "draw_active" - will draw indent guides for the group
	//    containing the caret in a different color
	//  - "draw_active_single" - will draw the right-most indent guide in the
	//    group containing the caret in a different color
	//  - "solid" - can be combined with any of the draw_* options to draw
	//    solid instead of stippled lines
	"indent_guide_options": ["draw_normal"],

If possible, expanding these Indent Guide settings to do what the Caret settings do would be fantastic! Sadly I cannot get any of these Indent Guide settings to work on my machine, I was thrilled about the "solid" line option

@dirediredock
Copy link

Fixed it: my Color Scheme was overriding the settings somehow, got "draw_active" and "solid" to show, and its great! For Indent Guides though, additional settings like "caret_extra_top", "caret_extra_bottom", and "caret_extra_width" would be phenomenal

@gerardroche
Copy link
Author

fyi as of 4156 you have a little more control over rulers, but as yet not size:

Current related settings

	// Columns in which to display vertical rulers. You can also pair the column
	// with a ruler style (See "ruler_style"), eg: [[80, "solid"]]
	"rulers": [],

	// Controls how ruler lines are drawn
	// - "dotted": Drawn as a dotted line
	// - "stippled": Drawn as a stippled line
	// - "solid": Drawn as a solid line
	"ruler_style": "dotted",

@BenjaminSchaaf BenjaminSchaaf self-assigned this Nov 6, 2023
@BenjaminSchaaf
Copy link
Member

Build 4161 adds a "ruler_width" setting.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

6 participants