|
why have certain IDE preferences been taken away?
|
1
|
816
|
May 6, 2021
|
|
Cambiar colores fuente IDE ??
|
10
|
8546
|
May 7, 2021
|
|
Problemas con el nuevo IDE, el fichero "theme" y los colores.
|
1
|
950
|
May 7, 2021
|
|
Cannot set font/background color in version 17 :{
|
3
|
1920
|
May 6, 2021
|
|
ino files defaulting to pdf
|
3
|
1729
|
May 5, 2021
|