david euler a60177bc01 fix bug on toggle command ; and extract method for toggle vor 6 Jahren
..
keyword-manager.js f2dde48113 plugin renamed to auto-highlight vor 6 Jahren
load-vmp-commands.js faf6c4d6c6 standard-ize vor 7 Jahren
main.js a60177bc01 fix bug on toggle command ; and extract method for toggle vor 6 Jahren
quick-highlight-view.js f2dde48113 plugin renamed to auto-highlight vor 6 Jahren
status-bar-manager.js f2dde48113 plugin renamed to auto-highlight vor 6 Jahren