@@ -0,0 +1,3 @@
let &makeprg="./flint.py --version ../flint/.flint/build/linux/debug/bin"
map <silent> <F9> :Make<cr>
map <silent> <F10> :Start ./flint.py --version ../flint/.flint/build/linux/debug/bin -rs && read<cr>
The note is not visible to the blocked user.