| plugins gedit. Gedit-plugins são um conjunto de plugins para GEDIT. |
Baixe Agora |
plugins gedit. Classificação e resumo
- Nome do editor:
- Steve Frécinaux and Jesse van den Kieboom
- Site do editor:
- http://www.gnome.org/projects/gedit/
plugins gedit. Tag
plugins gedit. Descrição
Gedit-plugins são um conjunto de plugins para GEDIT. Gedit-plugins são um conjunto de plugins para gedit.installation: para o momento, você tem que ./configure com --prefix = mesmo prefixo que você configurou gedit with.how para escolher quais plugins para construir: ./ configure --with -Plugins = PL1, PL2, ... onde PL1, PL2 ... são um dos seguintes itens: O BracketCompletion adiciona automaticamente colchetes.Charmap Inserir caracteres especiais apenas clicando neles. Comentário e blocos de desconto de código. Cor de uma caixa de diálogo e insira sua representação hexadecimal.Joinlines Junte-se a várias linhas ou dividir os longos.showtabbar Adicione uma entrada de menu para mostrar / ocultar o tabbar.smartspaces Esqueça que não está usando tabulações .terminal incorporar um terminal no painel inferior. Todos os plugins acima
plugins gedit. Software Relacionado