ui.text: cleanup string-width/height and make text-dim a bit faster.
ui.text: cleanup string-width/height and make text-dim a bit faster.

dch/factor,AlexIljin/factor,bpollack/factor,slavapestov/factor,sarvex/factor-lang,mrjbq7/factor,slavapestov/factor,bjourne/factor,mrjbq7/factor,bjourne/factor,slavapestov/factor,AlexIljin/factor,sarvex/factor-lang,AlexIljin/factor,tgunr/factor,factor/factor,factor/factor,bpollack/factor,factor/factor,AlexIljin/factor,dch/factor,slavapestov/factor,AlexIljin/factor,AlexIljin/factor,bjourne/factor,tgunr/factor,bpollack/factor,nicolas-p/factor,dch/factor,mrjbq7/factor,nicolas-p/factor,sarvex/factor-lang,tgunr/factor,sarvex/factor-lang,bjourne/factor,bpollack/factor,slavapestov/factor,nicolas-p/factor,sarvex/factor-lang,nicolas-p/factor,mrjbq7/factor,bpollack/factor,bpollack/factor,nicolas-p/factor,dch/factor,slavapestov/factor,slavapestov/factor,bjourne/factor,AlexIljin/factor,factor/factor,tgunr/factor,tgunr/factor,mrjbq7/factor,bpollack/factor,sarvex/factor-lang,dch/factor,factor/factor,mrjbq7/factor,bjourne/factor,factor/factor,nicolas-p/factor,bjourne/factor,sarvex/factor-lang,tgunr/factor,dch/factor,nicolas-p/factor