Python 3 fixes for the gui.misc module.
This is for text formatting using the "x"*num logic. In Python 3, num is often a float so this does not work and an explicit int() function call is required.
Authored by: bugman 2016-11-14
Parent: [r28275]
Child: [r28277]