When I set choicepen to a color (or any other choice customization value) in the theme settings, if I try to change to another theme with different values for choice_pen, choice_paper, choice_selected_paper, and choice_selected_pen - nothing changes.
dark_daad : theme {
colors {
paper = #000
exit_list_item_pen = #6dbf82
exit_list_header_pen = #888
textbox_pen = #888
choice_pen = #aaa
}
theme_settings {
experimental_wait_graphic = blinker
layout = H G LOCK X D O
font = daad
columns = 75
}
system_messages {
nothing_to_get = That's not an option.
i_cant_do_that = You can't do that. (Try typing HELP for more information on this game's intentionally limited vocabulary.)
unknown_verb = You can't do that. (Try typing HELP for more information on this game's intentionally limited vocabulary.)
}
}
dark_serif : theme {
colors {
paper = #000
exit_list_item_pen = #6dbf82
exit_list_header_pen = #888
textbox_pen = #888
choice_pen = #aaa
}
theme_settings {
experimental_wait_graphic = blinker
layout = H G LOCK X D O
font = serif
columns = 70
}
system_messages {
nothing_to_get = That's not an option.
i_cant_do_that = You can't do that. (Try typing HELP for more information on this game's intentionally limited vocabulary.)
unknown_verb = You can't do that. (Try typing HELP for more information on this game's intentionally limited vocabulary.)
}
}
dark_monospace : theme {
colors {
paper = #000
exit_list_item_pen = #6dbf82
exit_list_header_pen = #888
textbox_pen = #888
choice_pen = #aaa
}
theme_settings {
experimental_wait_graphic = blinker
layout = H G LOCK X D O
font = monospace
columns = 70
}
system_messages {
nothing_to_get = That's not an option.
i_cant_do_that = You can't do that. (Try typing HELP for more information on this game's intentionally limited vocabulary.)
unknown_verb = You can't do that. (Try typing HELP for more information on this game's intentionally limited vocabulary.)
}
}
light_daad : theme {
colors {
paper = #fff
exit_list_item_pen = #357345
exit_list_header_pen = #111
textbox_pen = #333
}
theme_settings {
experimental_wait_graphic = blinker
layout = H G LOCK X D O
font = daad
columns = 75
}
system_messages {
nothing_to_get = That's not an option.
i_cant_do_that = You can't do that. (Try typing HELP for more information on this game's intentionally limited vocabulary.)
unknown_verb = You can't do that. (Try typing HELP for more information on this game's intentionally limited vocabulary.)
}
}
light_serif : theme {
colors {
paper = #fff
exit_list_item_pen = #357345
exit_list_header_pen = #111
textbox_pen = #111
choice_pen = #333
}
theme_settings {
experimental_wait_graphic = blinker
layout = H G LOCK X D O
font = serif
columns = 70
}
system_messages {
nothing_to_get = That's not an option.
i_cant_do_that = You can't do that. (Try typing HELP for more information on this game's intentionally limited vocabulary.)
unknown_verb = You can't do that. (Try typing HELP for more information on this game's intentionally limited vocabulary.)
}
}
light_monospace : theme {
colors {
paper = #fff
exit_list_item_pen = #357345
exit_list_header_pen = #111
textbox_pen = #111
choice_pen = #333
}
theme_settings {
experimental_wait_graphic = blinker
layout = H G LOCK X D O
font = monospace
columns = 70
}
system_messages {
nothing_to_get = That's not an option.
i_cant_do_that = You can't do that. (Try typing HELP for more information on this game's intentionally limited vocabulary.)
unknown_verb = You can't do that. (Try typing HELP for more information on this game's intentionally limited vocabulary.)
}
}
Those are my six themes, but swapping to the "light" themes does not change the choice_pen at all. It just stays as #aaa and doesn't change to #333.
When I set choicepen to a color (or any other choice customization value) in the theme settings, if I try to change to another theme with different values for choice_pen, choice_paper, choice_selected_paper, and choice_selected_pen - nothing changes.
dark_daad : theme {
}
dark_serif : theme {
}
dark_monospace : theme {
}
}
}
}
Those are my six themes, but swapping to the "light" themes does not change the choice_pen at all. It just stays as #aaa and doesn't change to #333.