Christopher Schuster
Christopher Schuster
@sijnak That's great! Having a JSON import makes it a lot easier for people to move to Shaarli from Firefox, etc.
@PatDeLux Until @sebsauvage merges this pull request, you could just clone [this branch](https://github.com/levjj/Shaarli/tree/import-folders-as-tags reposiroty) of Shaarli and import the Google Bookmarks HTML file (be sure to check the "overwrite existing...
@PatDeLux Sorry, should have checked the link. Try [this one](https://github.com/levjj/Shaarli/tree/import-folders-as-tags) instead.
Yep, this is an open issue in Shaarli. See #22
Yes, this would definitely be useful. Also, it should not be too difficult to implement. (contributions welcome!)
Thanks! I just noticed that the Vampire prover supports SMTLIB 2 input, so it might not be too difficult to use it for esverify.
It might be possible to add a flag/option to enable parsing comments that include pre-, postconditions, etc. Currently, "requires", "ensures", etc. are pseudo-function calls that are already exempt from execution...
I think it would be good to mention in the readme file that `serverreload: true` and `livereload: true` are both incompatible with any existing watch tasks. I struggled with this...
Yeah, it seems it's not possible to disable the column width input. Feel free to change the labels and help texts to make this more clear.
I just checked with the current master and the text padding bug (as described above) is still present. The patch fixes this bug but breaks a few other things in...