Margin width not maintained after change to Source View colour scheme

Project:formsPlayer XForms Studio
Version:2.0.4-1017
Component:Source View
Category:bug
Priority:minor
Assigned:Unassigned
Status:active
Description

When in the Source View, the margin width is reduced to hold only a single digit after changing the colour scheme. The correct width is regained if you then refresh the document.