-
Notifications
You must be signed in to change notification settings - Fork 42
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
Make the folding button easier to click on #3
Comments
Good point. However the entire line number is clickable and should cause code to fold/unfold when clicked. I agree that there is no visual cue that this is the case. I will push an update to fix this using a bit of css on mouse over. |
Here is a sample of my jshint implementation where I am handling my own gutter. Here I create/delete the gutter: Here I add and remove gutter markers.
I will go through your code and if I can get my way around in a reasonable manner I will make a pull request. -Miguel |
Alright, so I put together a gutter for ya. The logic to place add the gutter and to clear it out needs to be cleaned up... It shouldn't be that much work to get it cleaned up. |
Cheers mate. Working on this .. |
…ed line numbers and hard to click fold markers. Extension now uses separate gutter for rendering fold markers. (credits - Miguel Castillo)
It is pretty difficult to expand/collapse lines right now. Consider making the collapse buttons a bit bigger
The text was updated successfully, but these errors were encountered: