xtext: Get proper text width with attributes