Modifications to several GUI widgets