Skip to content

How to change the length of the separation lines in eldoc? #1157

linwaytin started this conversation in General
Discussion options

You must be logged in to vote

Replies: 1 comment 4 replies

Comment options

You must be logged in to vote
4 replies
@linwaytin
Comment options

@joaotavora
Comment options

@linwaytin
Comment options

@joaotavora
Comment options

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