5eba6eb4d6
* Store a font name => font faces map * Only list font names that have `NORMAL` and `BOLD` faces with `Normal` stretch. This will give us defaults and fall-backs that are guaranteed to always exist. * Filter by stretch first, with `Normal` chosen as the always existing default. * Then only list font weights supported by the font name stretch selected, for the normal and bold cases. * When changing the font name selected, the stretch/weight options will stay the same if supported by the new font name, or revert to the always existing fall-backs. Signed-off-by: Mohammad AlSaleh <CE.Mohammad.AlSaleh@gmail.com>
42 lines
741 B
Text
42 lines
741 B
Text
# Context Pages
|
|
|
|
## Settings
|
|
settings = Settings
|
|
|
|
### Appearance
|
|
appearance = Appearance
|
|
theme = Theme
|
|
match-desktop = Match desktop
|
|
dark = Dark
|
|
light = Light
|
|
syntax-dark = Syntax dark
|
|
syntax-light = Syntax light
|
|
default-font = Default font
|
|
default-font-stretch = Default font stretch
|
|
default-font-weight = Default font weight
|
|
default-bold-font-weight = Default bold font weight
|
|
default-font-size = Default font size
|
|
default-zoom-step = Default zoom step
|
|
|
|
# Menu
|
|
|
|
## File
|
|
file = File
|
|
new-tab = New tab
|
|
new-window = New window
|
|
close-tab = Close tab
|
|
quit = Quit
|
|
|
|
## Edit
|
|
edit = Edit
|
|
copy = Copy
|
|
paste = Paste
|
|
select-all = Select all
|
|
find = Find
|
|
|
|
## View
|
|
view = View
|
|
menu-settings = Settings...
|
|
|
|
# Context menu
|
|
show-headerbar = Show header bar
|