bughelp wantedinsider
Repository metrics
- Stars
- (11,389 stars)
- PR merge metrics
- (No merged PRs in 30d)
Description
I just updated to the latest oni and I've noticed that the quick info stopped showing entirely. It used to stop after about 30 min but now it doesn't work even after restarting oni!
Oni Config
const activate = (oni) => {
oni.input.unbind('<C-p>')
oni.input.unbind('<Tab>')
oni.input.unbind('<C-n>')
oni.input.unbind('<C-tab>')
oni.input.unbind('<m-e>')
oni.input.unbind('<down>')
oni.input.unbind('<up>')
oni.input.bind('<esc>', 'language.rename.cancel')
oni.input.bind(['<shift-tab>', '<up>'], 'contextMenu.previous')
oni.input.bind(['<tab>', '<down>'], 'contextMenu.next')
oni.input.bind(['<shift-tab>', '<up>'], 'menu.previous')
oni.input.bind(['<tab>', '<down>'], 'menu.next')
oni.input.bind('<m-w>', () => document.querySelector('.tab.selected .corner.enable-hover').click())
}
const deactivate = () => {
}
module.exports = {
activate,
deactivate,
"editor.maximizeScreenOnStart": true,
"oni.useDefaultConfig": false,
"oni.loadInitVim": true,
"ui.fontSmoothing": "subpixel-antialiased",
"ui.colorscheme": "molokai",
"editor.fontFamily": "Hack",
"ui.fontFamily": "Hack"
}