Hola, pues llevo ya un buen rato buscando por google, pero no soy capaz de encontrarlo.
Quiero aumentar el tamaño de las letras contenidas en un textview, ya que he creado una caja de textview algo grande y necesito llenarla (hacer la caja mas pequeña no es la solución). Espero que podais ayudarme.

Gracias

Supongo que deberia haber dicho tambien que es un elemento de glade

Pues deberias de usar alguna funcion del textoview que de esa propiedad

Una vez declarado tu objeto nose como se declare pero pondre este ejemplo hipotetico
ya que tienes tu objeto creado, supongo que estas con la intercativo console de python; entonces escribes tu objeto y un punto y esperas a que salga la lista de funciones que se pueden utilizar para JTextoView


ejemplo:
Y en segida tras unos 3 o 4 segundo te saldra la lista! Busca con las flechas la funcion debe de ser algo obvia! Espero arregles tu problema hermano!