That is seriously unrelated to the issue at hand and hovers have other stupid problems... but deglobalizing as many values like that as we can is a goal for 0.3 , so if you file a separate issue for that, we'll most likely make that happen.
That is seriously unrelated to the issue at hand and hovers have other stupid problems... but deglobalizing as many values like that as we can is a goal for 0.3 , so if you file a separate issue for that, we'll most likely make that happen.