Forked from
Platform / Development / swh-docs
175 commits behind the upstream repository.

David Douard
authored
This allows the generated snippet (by pygnents) to better handle the selection for copy/pasting. Namely, the prompt will not be selected which is what is expected for this kind of example snip.