Comments

• This is an extremely needed feature, since it severely impairs mine and at least with the people I work with in my group. If this proves to be too difficult to implement (i.e. checking if the file has been modified or not), an alternative solution c…

  in [feature-request] Update extracted highlights Comment by necessaryillusions February 8, 2023