fixed #8765, fixed #8753 - font size field cut off

This commit is contained in:
Eugene Pankov 2023-08-03 10:19:58 +02:00
parent 217ab641b5
commit aafe510803
No known key found for this signature in database
GPG key ID: 5896FCBBDD1CF4F4
2 changed files with 23 additions and 18 deletions

View file

@ -1,24 +1,24 @@
h3.mb-3(translate) Appearance
.form-line
.header
.title(translate) Font
.input-group.w-75
input.form-control(
type='text',
[ngbTypeahead]='fontAutocomplete',
[(ngModel)]='config.store.terminal.font',
(ngModelChange)='config.save()',
)
input.form-control.font-size-input(
type='number',
max='48',
[(ngModel)]='config.store.terminal.fontSize',
(ngModelChange)='fixFontSize(); config.save()',
)
.row
.col-12.col-md-6
.form-line
.header
.title(translate) Font
.input-group.w-75
input.form-control.w-75(
type='text',
[ngbTypeahead]='fontAutocomplete',
[(ngModel)]='config.store.terminal.font',
(ngModelChange)='config.save()',
)
input.form-control.w-25(
type='number',
max='48',
[(ngModel)]='config.store.terminal.fontSize',
(ngModelChange)='fixFontSize(); config.save()',
)
.form-line
.header
.title(translate) Enable font ligatures

View file

@ -7,3 +7,8 @@ textarea {
font-family: 'Source Code Pro', monospace;
min-height: 120px;
}
.font-size-input {
width: 100px;
flex: none;
}