You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Allow giving the filename with extension in play commands (#237)
Since commit 8e49687 ("Allow referencing audio files with filenames
outside [a-zA-Z0-9_] (#236)"), all filenames could be given to the play
command, however the user had to cut off the file extension manually.
First search for the full filename, before trying with the standard
extension.
To allow basic filenames without quoting, "." is now also allowed in
identifiers for the play command.
Idea and code suggestion by Joachim Breitner.
Co-authored-by: Thomas Bleher <[email protected]>
0 commit comments