Use text_width() in var_view

I am unsure if it really needs to be used for the variable name itself (can
variable names be double-width characters?), but I suppose it can't hurt.