Jaovitosr/Chatbot

Unprotect selection

Aberta

#7 aberto em 14 de set. de 2023

 (1 comentário) (0 reação) (0 responsável) (0 fork)auto 404
good first issueui

Métricas do repositório

Stars
 (0 estrela)
Métricas de merge de PR
 (Métricas PR pendentes)

Description

From jabref created by mpatas: JabRef/jabref#9950

When one right clicks on some selected text in a field, one has a choice of "Protect selection" (in submenu "Protect terms") that puts "{" before the selection and "}" after it. Perhaps it would be worth to have an opposite action, "Unprotect selection", that would remove all such "protections"? It would be especially convenient when, the imported record has protected words in all caps, and one wants to use, for example, title case.

Guia do colaborador