a cleaner implementation of mb-region-pixel-width
faster mb-region-pixel-width
change only the local value of revert-buffer-function