I don't understand the use-case here. The purpose of a shebang is to specify the program to execute the script, not to specify the filetype to IDEs. For example a script that is written in Python might want to specify pypy
, or pyston
as the shebang, but those are not recognised by Geany.
If a filetype has been detected wrongly by Geany, currently the user can edit the shebang (if its wrong for the executable program) or the filetype regex to one Geany understands and:
or
menu->recent files->the one at the top
or Alt+R
) and all detection methods are used, checking what will be detected next time opened after closeIIUC your proposal is that if the user has edited the shebang they need to:
So its not just a reload action, its a minimum of two user actions to invoke the proposed behaviour.
So its not significantly fewer user actions than close/reopen, but more user actions than simply setting the filetype manually.
Note that filetype detection is run on first save of a new file so nothing is needed then.
It seems to me this proposal adds nothing but complication and special cases for no significant gain.
—
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.