Symbol: gl_displayed_tab_width