GuanM/tabby
1
0
Fork 0
mirror of https://github.com/Eugeny/tabby.git synced 2025-09-24 17:16:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

fixed search panel background

Browse Source
This commit is contained in:
Eugene Pankov
2019-07-02 20:40:07 +02:00
parent 20a1ae3374
commit a146505c5a
2 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
terminus-terminal/src/components/searchPanel.component.pug
View File

@@ -1,6 +1,6 @@
.input-group.w-100 .input-group.w-100
input.search-input.form-control( input.search-input.form-control(
type='search', type='search',
[(ngModel)]='query', [(ngModel)]='query',
(ngModelChange)='notFound = false', (ngModelChange)='notFound = false',
[class.text-danger]='notFound', [class.text-danger]='notFound',
@@ -15,20 +15,20 @@
(click)='options.caseSensitive = !options.caseSensitive', (click)='options.caseSensitive = !options.caseSensitive',
[class.active]='options.caseSensitive', [class.active]='options.caseSensitive',
ngbTooltip='Case sensitivity', ngbTooltip='Case sensitivity',
placement='bottom' placement='bottom'
) )
i.fa.fa-fw.fa-font i.fa.fa-fw.fa-font
button.btn.btn-outline-primary( button.btn.btn-outline-primary(
(click)='options.regex = !options.regex', (click)='options.regex = !options.regex',
[class.active]='options.regex', [class.active]='options.regex',
ngbTooltip='Regular expression', ngbTooltip='Regular expression',
placement='bottom' placement='bottom'
) )
i.fa.fa-fw.fa-asterisk i.fa.fa-fw.fa-asterisk
button.btn.btn-outline-primary( button.btn.btn-outline-primary(
(click)='options.wholeWord = !options.wholeWord', (click)='options.wholeWord = !options.wholeWord',
[class.active]='options.wholeWord', [class.active]='options.wholeWord',
ngbTooltip='Whole word', ngbTooltip='Whole word',
placement='bottom' placement='bottom'
) )
i.fa.fa-fw.fa-square i.fa.fa-fw.fa-text-width

4
terminus-terminal/src/components/searchPanel.component.scss
View File

@@ -3,7 +3,7 @@
width: 400px; width: 400px;
align-self: center; align-self: center;
z-index: 5; z-index: 5;
padding: 5px; padding: 10px;
border-radius: 0 0 3px 3px; border-radius: 0 0 3px 3px;
background: rgba(0, 0, 0, .25); background: rgba(0, 0, 0, .75);
} }