$TextView->modify_bg ('normal', $greyl);