Que widget posso usar para editar texto e destacar partes dele?

Question

Usando o modelo de aplicativo rapidamente ubuntu (por exemplo, python e GTK3), quais soluções existem para exibir um editor de texto no qual eu possa destacar algumas partes do texto e adicionar anotações / extra visual em alguns lugares?

A idéia é ter um componente no qual o usuário pode digitar texto e, ao fazer isso, há algumas anotações no schown (semelhante ao realce de sintaxe).

O editor não precisa ser um editor de rich text ou algo parecido com um aplicativo de escritório, apenas um editor de texto estaria bem.

    

Answer 1

Os dois widgets de texto mais usados são o widget de texto nativo do Gnome e o Scintilla. Cada um faz rich text, mas são freqüentemente usados para texto simples. Tenho certeza de que ambos lidam com destaque, podem ser programados para incluir texto de anotações e comentários e são capazes de incorporar objetos gráficos.

GTKText é o widget de texto no PyGTK; veja link et al.

Scintilla é usado amplamente no GTK e no Windows, pelo menos; aqui está: link em seu próprio site.

Exatamente como isso é usado com o Quickly, não tenho certeza - mas se estiver escrevendo código GUI para um aplicativo do Quickly, esses links darão pelo menos uma ideia do que está por aí.

Boa sorte!