Jérôme Parent-Lévesque
Jérôme Parent-Lévesque
https://docs.python.org/3/whatsnew/3.8.html#typing - In the case of Literal, convert to an argparse 'choices' argument - In the case of Final, don't add the argument to argparse
Feature request from [chrome reviews](https://chrome.google.com/webstore/detail/highlighter/fdfcjfoifbjplmificlkdfneafllkgmn/reviews) It would be nice to preserve HTML links in the copy-pasted text. To be seen if we should also keep other types of text formatting...
Adding this would allow users to more easily sync their highlights between devices while keeping the extension completely free to use as there would be no need to pay for...
For v5 I would like to add a new way of serializing highlights that is more robust to dynamic webpages or changes to static pages. Instead of using an anchor...
As requested on Chrome web store support page
Requested by a user on the chrome web store page. - [ ] Ability to copy all highlights of a certain color only - [ ] Ability to only view...
gmail's very non-static nature makes it hard for this extension to work and properly save the highlights, but I think something can be hacked in specifically for this website as...
This command would be useful in the scenario where a new highlight (whether caused by a bug or by the user) covers previous highlights. In this case, re-highlighting the text...