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
Charset can be set in AwkSettings but it's not taken into account when reading files. See JRT.jrtConsumeInput() which doesn't specify locale when calling new FileReader(name_value_or_filename).
This will probably cause issues with non-ASCII chars in files.
The text was updated successfully, but these errors were encountered:
Charset can be set in
AwkSettings
but it's not taken into account when reading files. SeeJRT.jrtConsumeInput()
which doesn't specifylocale
when callingnew FileReader(name_value_or_filename)
.This will probably cause issues with non-ASCII chars in files.
The text was updated successfully, but these errors were encountered: