Refactoring
minor aesthetic stuff in ProgramView.js
Authored by: alessio-gaspar 2012-03-09
Parent: [r56]
Child: [r58]