[jboss-user] [JBoss jBPM] - JBpm-Designer - Change Font-Size?

Hi! Is there a way to change the font-size in the JBPM-Designer (Eclipse-Plugin)? - the headline/label (for tasknodes, nodes, decisions, ...) is too big for me and I want to get a smaller process-image. i've tried to change the font-setting (eclipse -> preferences -> appearence -> colors and fonts) but that does not work for me. I'm using version 3.0.12 (jbpm-designer) and 3.2 (eclipse). Thanks. k By the way ... i'm using jbpm for more than a year now - it's a great piece of software :-) View the original post : http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4030181#... Reply to the post : http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...