Descrição
Seleções destacadas podem ser duplicadas rapidamente com Ctrl+D dentro do gedit.
É um plugin de editor. Ele amplia fluxos de edição de texto e só é útil quando o gedit é o editor usado.
FICHA · AUR
Plugin do Gedit 3 para duplicar seleções destacadas usando Ctrl+D
pt-br · fallback Seleções destacadas podem ser duplicadas rapidamente com Ctrl+D dentro do gedit.
É um plugin de editor. Ele amplia fluxos de edição de texto e só é útil quando o gedit é o editor usado.
Permissões ainda não analisadas para esta fonte.