I hereby claim:
- I am jkozera on github.
- I am jerzy (https://keybase.io/jerzy) on keybase.
- I have a public key whose fingerprint is 4704 A879 5393 A58D 425C F569 094A D99F 3D5F 59FC
To claim this, I am signing this object:
(() => { | |
function patchControls($, old$) { | |
var checkbox = $('<input type="checkbox" id="tests-checkbox"><label for="tests-checkbox">Tests</label></input>'); | |
checkbox.insertAfter(jQuery('.file-types.excludes h4')); | |
checkbox.click(() => { | |
$('.file-types.excludes input:text')[0].value = checkbox.is(':checked') ? '**/tests/**' : ''; | |
old$('.search-action.codicon-search-refresh').click(); | |
}); | |
} |
I hereby claim:
To claim this, I am signing this object: