Changing toolbox labels font size - Blockly Android
338 views
Skip to first unread message
Jorge Bonafé
Jan 31, 2017, 10:40:04 AM1/31/17
to Blockly
How do I change the font style on the toolbox categories on the Android version?
Thanks in advance
Erik Pasternak
Jan 31, 2017, 5:12:54 PM1/31/17
to Blockly
Hi Jorge,
It looks like the font is currently defined in blocklylib-core/src/main/res/values/styles.xml#DefaultCategoryLabelStyle. It looks like we haven't had a chance to clean up styling for that yet (we probably shouldn't be explicitly setting a font family just for labels). For now you can change it locally. We'll remove that from the style in a future change, but you can leave your font family set in your local copy.
Jorge Bonafé
Jan 31, 2017, 5:25:17 PM1/31/17
to Blockly
Found it, thanks.
Do you know if there is a way to override this on my project if I'm importing blockly as a dependency? I tried just redefining it on my styles.xml file but it didn't work... I'm not sure if I'm doing it wrong or if I would have to change it on the Blockly project and export again
Erik Pasternak
Jan 31, 2017, 5:35:42 PM1/31/17
to Blockly
Sorry, Jorge. There isn't an easy way to override that right now. We'll be working through these styling issues but it'll take a while to get to that level. Short term if you're trying to change the font across your app feel free to submit a CL removing the font from the style.
On Tue, Jan 31, 2017 at 2:25 PM, Jorge Bonafé <jorge...@gmail.com> wrote:
Found it, thanks.Do you know if there is a way to override this on my project if I'm importing blockly as a dependency? I tried just redefining it on my styles.xml file but it didn't work... I'm not sure if I'm doing it wrong or if I would have to change it on the Blockly project and export again
--
You received this message because you are subscribed to a topic in the Google Groups "Blockly" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/blockly/wOBX4JTDc-w/unsubscribe.
To unsubscribe from this group and all its topics, send an email to blockly+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Jorge Bonafé
Jan 31, 2017, 5:43:35 PM1/31/17
to Blockly
Allright. Thanks again
Reply all
Reply to author
Forward
0 new messages