Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Change themes font_color_selected to font_selected_color #44194

Merged
merged 1 commit into from
Jan 25, 2021

Commits on Jan 24, 2021

  1. Change themes *_color_* to *_*_color

    Changed:
    font_color_accel -> font_accelerator_color
    font_color_bg -> font_unselected_color
    font_color_disabled -> font_disabled_color
    font_color_fg -> font_selected_color
    font_color_hover -> font_hover_color
    font_color_hover_pressed -> font_hover_pressed_color
    font_color_pressed -> font_pressed_color
    font_color_readonly -> font_readonly_color
    font_color_selected -> font_selected_color
    font_color_shadow -> font_shadow_color
    font_color_uneditable -> font_uneditable_color
    icon_color_disabled -> icon_disabled_color
    icon_color_hover -> icon_hover_color
    icon_color_hover_pressed -> icon_hover_pressed_color
    icon_color_normal -> icon_normal_color
    icon_color_pressed -> icon_pressed_color
    
    Also includes:
    font_outline_modulate -> font_outline_color
    tab_fg -> tab_selected
    tab_bg -> tab_unselected
    madmiraal committed Jan 24, 2021
    Configuration menu
    Copy the full SHA
    8eb39f4 View commit details
    Browse the repository at this point in the history