[lively-kernel] Text margin
danhhingalls at gmail.com
Mon Feb 27 17:56:44 CET 2012
I have added an inset ("padding") of (4, 2) to the prototypical text in the parts bin, as well as the documentation windows and the workspace part.
This makes text look nicer and makes it easier to select near the edge, but it could cause problems with pre-existing objects if they were carefully laid out. My apologies in advance if this happens -- I'm willing to help fix them.
More information about the lively-kernel