File tree 4 files changed +4
-6
lines changed
4 files changed +4
-6
lines changed Original file line number Diff line number Diff line change 18
18
top : 0px ;
19
19
z-index : 10 ;
20
20
font-size : .8em ;
21
+ font-weight : bold;
21
22
}
22
23
23
24
.CodeMirror-advanced-dialog input {
31
32
32
33
.CodeMirror-advanced-dialog button {
33
34
font-size : 70% ;
35
+ font-weight : bold;
34
36
}
35
37
36
38
.CodeMirror-advanced-dialog .row {
57
59
background-color : inherit;
58
60
color : inherit;
59
61
}
60
-
61
- .CodeMirror-find-label .CodeMirror-search-count {
62
- text-shadow : white 0 0 0.2em ;
63
- }
Original file line number Diff line number Diff line change 103
103
}
104
104
105
105
function parseQuery ( query ) {
106
+ if ( query === null ) return ;
106
107
const isRE = query . match ( / ^ \/ ( .* ) \/ ( [ a - z ] * ) $ / ) ;
107
108
if ( isRE ) {
108
109
try { query = new RegExp ( isRE [ 1 ] , isRE [ 2 ] . indexOf ( "i" ) == - 1 ? "" : "i" ) ; }
116
117
}
117
118
118
119
function startSearch ( cm , state , query ) {
120
+ if ( query === null ) return ;
119
121
state . queryText = query ;
120
122
state . query = parseQuery ( query ) ;
121
123
cm . removeOverlay ( state . overlay , queryCaseInsensitive ( state . query ) ) ;
Original file line number Diff line number Diff line change 26
26
27
27
// creates a new tab when a new file is opened
28
28
function addTab(newFile : NewFile ): void {
29
- console .log (' newfile bein opened' )
30
29
let duplicate: boolean = false ;
31
30
let focusTabId: number = newFile .tabId ;
32
31
$openTabs .map ((tab ) => {
Original file line number Diff line number Diff line change @@ -98,7 +98,6 @@ const createWindow = (exports.createWindow = () => {
98
98
* SvelteStorm
99
99
* ==================================================
100
100
*/
101
- console . log ( 'new win beinc created' )
102
101
newWindow = new BrowserWindow ( {
103
102
width : 1400 ,
104
103
height : 1300 ,
You can’t perform that action at this time.
0 commit comments