Hi, I haven't found a way to do this (in my opinion) very basic thing in the documentation nor in other issues on github but please tell me if I missed it.
What I'd like to be able to do is to do gh to show my highlights and then show one (or more) of the types. I know I can do something like gh and then type [a] to search for highlights of type a but I think this is not very convenient and shows up also other hightlights that match that string.
Example: highlight theorems with ht, definitions with hd and so on. Then have a simple way to see a list of theorems and a list of defintions.
The most convenient way in my opinion would be to add a something like ghd to only show d type highlights or a similar alternative
Hi, I haven't found a way to do this (in my opinion) very basic thing in the documentation nor in other issues on github but please tell me if I missed it.
What I'd like to be able to do is to do
gh
to show my highlights and then show one (or more) of the types. I know I can do something likegh
and then type[a]
to search for highlights of typea
but I think this is not very convenient and shows up also other hightlights that match that string.Example: highlight theorems with
ht
, definitions withhd
and so on. Then have a simple way to see a list of theorems and a list of defintions.The most convenient way in my opinion would be to add a something like
ghd
to only showd
type highlights or a similar alternative