[jboss-user] [jBPM] - Re: How can I set the size of designer

esteban nabetse do-not-reply at jboss.com
Fri Apr 27 17:18:40 EDT 2012

esteban nabetse [https://community.jboss.org/people/cacto] created the discussion

"Re: How can I set the size of designer"

To view the discussion, visit: https://community.jboss.org/message/732779#732779

Same problem here, as an (ugly) workaround i replaced every '1600px' occurrence, here:


If you are on a unix environment you can try something like this:

find ./ -type f -exec sed -i 's/1600px/800px/' {} \;

Reply to this message by going to Community

Start a new discussion in jBPM at Community

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/jboss-user/attachments/20120427/d5bf6a43/attachment-0001.html 

More information about the jboss-user mailing list