zyedidia / micro

A modern and intuitive terminal-based text editor
https://micro-editor.github.io
MIT License
25.2k stars 1.18k forks source link

linter on ftoptions has no effect #1600

Open bokunodev opened 4 years ago

bokunodev commented 4 years ago

Description of the problem or steps to reproduce

add this to settings.json

"ft:go": {
    "linter":true,
    "diff": true,
    "diffgutter": true,
},

Specifications

Version: 2.0.2 Commit hash: c51f849 Compiled on February 26, 2020 OS: 5.3.0-rc8-0.8-MANJARO-ARM Terminal: xfce4 terminal

zyedidia commented 4 years ago

Could you please elaborate a little on what the issue is? The linter is enabled by default, so changing it to "true" for go won't change anything. Is the linter not working for you?

bokunodev commented 4 years ago

@zyedidia I want to disable "linter" for non-go file. I disabled the linter in the config. and instead activate it only for dot go files.

"diff": true, "diffgutter": true,

both options work well. somehow linter option doesn't work. `"ftoptions": true"