Estadística
1 Pregunta
0 Respuestas
CLASIFICACIÓN
41.052
of 302.067
REPUTACIÓN
1
CONTRIBUCIONES
1 Pregunta
0 Respuestas
ACEPTACIÓN DE RESPUESTAS
0.0%
VOTOS RECIBIDOS
1
CLASIFICACIÓN
of 21.528
REPUTACIÓN
N/A
EVALUACIÓN MEDIA
0.00
CONTRIBUCIONES
0 Archivos
DESCARGAS
0
ALL TIME DESCARGAS
0
CLASIFICACIÓN
of 178.617
CONTRIBUCIONES
0 Problemas
0 Soluciones
PUNTUACIÓN
0
NÚMERO DE INSIGNIAS
0
CONTRIBUCIONES
0 Publicaciones
CONTRIBUCIONES
0 Público Canales
EVALUACIÓN MEDIA
CONTRIBUCIONES
0 Temas destacados
MEDIA DE ME GUSTA
Feeds
Pregunta
Setting default Figure font, different from Desktop
I'm trying to set the default figure font independent of the desktop font, however this doesn't seem to be possible in the 'pref...
más de 13 años hace | 1 respuesta | 1
