Estadística
1 Pregunta
0 Respuestas
CLASIFICACIÓN
41.061
of 302.123
REPUTACIÓN
1
CONTRIBUCIONES
1 Pregunta
0 Respuestas
ACEPTACIÓN DE RESPUESTAS
0.0%
VOTOS RECIBIDOS
1
CLASIFICACIÓN
of 21.554
REPUTACIÓN
N/A
EVALUACIÓN MEDIA
0.00
CONTRIBUCIONES
0 Archivos
DESCARGAS
0
ALL TIME DESCARGAS
0
CLASIFICACIÓN
of 179.222
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
