WebIDE Font?

Moderators: adafruit_support_bill, adafruit

Forum rules
Talk about Adafruit Raspberry Pi® accessories! Please do not ask for Linux support, this is for Adafruit products only! For Raspberry Pi help please visit: http://www.raspberrypi.org/phpBB3/
Locked
User avatar
drohm
 
Posts: 26
Joined: Fri Aug 08, 2014 11:24 pm

WebIDE Font?

Post by drohm »

Hi,
Is is possible to change the font in the WebIDE? I'm using version 0.3.8 on a pi2.

User avatar
adafruit_support_mike
 
Posts: 67446
Joined: Thu Feb 11, 2010 2:51 pm

Re: WebIDE Font?

Post by adafruit_support_mike »

It's possible, but you'd have to dig through the Node.js files to find where the style information is kept.

User avatar
drohm
 
Posts: 26
Joined: Fri Aug 08, 2014 11:24 pm

Re: WebIDE Font?

Post by drohm »

Do you know where those files are located? I don't mind digging through them, just need to make sure I'm going through the right ones.

User avatar
adafruit_support_mike
 
Posts: 67446
Joined: Thu Feb 11, 2010 2:51 pm

Re: WebIDE Font?

Post by adafruit_support_mike »

Looks like they're in /usr/share/adafruit/webide/public/stylesheets/

Locked
Forum rules
Talk about Adafruit Raspberry Pi® accessories! Please do not ask for Linux support, this is for Adafruit products only! For Raspberry Pi help please visit: http://www.raspberrypi.org/phpBB3/

Return to “Adafruit Raspberry Pi® accessories”