You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
Just make re-detect filetype a menu option separate from reload...
The menus are already too cluttered, and there are already too many keybindings to remember.
It could even be useful for users having trouble setting the
-*-XXX-*-comment.
How? Without the filetype specifier, the same filetype would be detected.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.