thanks. based on yaroslav's patch i fixed build-type and build-extruded-type. it seems to work now. committed to git.This might help you, Gabor...
i hope that based on this modification the scratchpad can be fixed also. i'm going to look into it soon.We should also fix the scratchpad editor.
best, gabor
