Felipe Curty
Felipe Curty
Changed selection to the right color
Hi, what do you think about use @syntax-gutter-background-color-selected for the highlight background? This way it will be "theme integrated". Also, why the highlight disapear on selection?
@cderv , @RLesur this PR add unit tests to pagedown, as discussed in PR #252. It is still a work in progress. I just created the PR to share the...
I upgraded the paged.js from version 0.1.43 to 0.2.0. I noticed that we use the paged.polyfill.js instead of the paged.js file. Hence, I renamed the file to make future upgrades...
Hi, I noticed that creating a document using only the `default.css` generates a problem with the preview, as I showed in the next figure: ![image](https://user-images.githubusercontent.com/615155/141661527-d693314e-f672-4943-939a-9b37fac7ede7.png) I updated the `default.css` with...
Hi, It would be great if we could hide the bar. An auto-hide function or binding to hide would enable the use of more space on the screen. Regards