Adjust history screen to fit more text, adjust options menu to be more akin to Wani on Android, fix edge scroll option erroneously showing on Android and not pc

This commit is contained in:
2025-06-08 08:18:17 -05:00
parent f57bcca85f
commit 844f401051
2 changed files with 165 additions and 37 deletions

View File

@ -360,9 +360,9 @@ define config.history_length = 250
## The height of a history screen entry, or None to make the height variable at
## the cost of performance.
define gui.history_height = 210
define gui.history_height = None
define gui.history_spacing = 0
define gui.history_spacing = 50
## The position, width, and alignment of the label giving the name of the
## speaking character.
@ -372,9 +372,9 @@ define gui.history_name_width = 233
define gui.history_name_xalign = 1.0
## The position, width, and alignment of the dialogue text.
define gui.history_text_xpos = 255
define gui.history_text_xpos = 248
define gui.history_text_ypos = 3
define gui.history_text_width = 1110
define gui.history_text_width = 1112
define gui.history_text_xalign = 0.0
@ -451,9 +451,9 @@ init python:
gui.text_size = 44
gui.name_text_size = 46
gui.notify_text_size = 38
gui.interface_text_size = 45
gui.interface_text_size = 40
gui.button_text_size = 45
gui.label_text_size = 51
gui.label_text_size = 45
## Namebox
gui.name_xpos = 395
@ -473,8 +473,8 @@ init python:
gui.navigation_spacing = 30
gui.pref_button_spacing = 15
gui.history_height = 285
gui.history_text_width = 1035
gui.history_spacing = 75
gui.history_text_width = 1012
gui.quick_button_text_size = 30