Pestaña de información de TOLBase en 2.0.2

[Pedro Gea]

El aspecto de la pestaña de información del inspector de TOLBase ha cambiado en la versión 2.0.2.

Cabe destacar el cambio de tipo de letra de uno monoespaciado a uno que no lo es. ¿Hay alguna manera de dejarlo como estaba?

También se aprecia la incorporación del formato wiki, y por ejemplo, si inspecciono una variable de tipo texto como ésta:

Text a = "a '''a''' ''a''";

observo algo como:

Text a = "a a a";

Se ha perdido el menú contextual que usaba muy a menudo entre otras cosas para copiar el atributo Route de las instancias de MMS.

También se notan cambios en la presentación de la información de la instancia, ¿podría recuperarse de algún modo el aspecto original?
Adjuntaré imágenes de estas diferencias.

[Pedro Gea]

Adjunto una imagen comparando el aspecto antes y después.

Nótese también que se perdió el cambio que se hizo para mostrar Class en lugar de Grammar cuando se trata de instancias.

[Jorge]

Intentaremos recuperarlo, el widget en el que se basa es distinto. Resolvemos primero el error del resaltado erróneo en

Text a = "a '''a''' ''a''";

[Jorge]

(In [4021]) refs #1396, se activa la fuente mono y se escapan los caracteres ' &, el caracter ' no tenia escape en el widget original

[Jorge]

todavía no sale mono

[Jorge]

el bloque con estilo mono solo se aplica a un parrafo, no valo con encerrar todo el bloque de texto en <m> </m>.

[Jorge]

La fuente normal de la ventana info debe poder configurarse. Eso estaba antes de canviar el widget. Por omisión la fuente normal aparecerá mono.

[Jorge]

(In [4023]) refs #1396, se utiliza la fuente normal configurada en tolbase, pendiente de sincronizar cambios y habilitar opciones de menu contextual

[Jorge]

(In [4032]) refs #1396, recuperamos algunas opciones de menu contextual, el cambio de fuente solo se aplica al estilo normal, hay que revisar todavía el cambio de fuente

[Jorge]

(In [4033]) refs #1396, recuperamos algunas opciones de menu contextual, el cambio de fuente solo se aplica al estilo normal, hay que revisar todavía el cambio de fuente

[Jorge]

(In [4037]) fixes #1405, refs #1396, algunas fuentes tiene nombre compuesto por mas de una palabra por eso hay que protegerlo dentro de una lista.