#972 - rename remove_char() to remove_chars()

aisingapore · Jun 13, 2021 · 107bac7 · 107bac7
1 parent dbc038a
commit 107bac7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tagui_header.js b/src/tagui_header.js
@@ -350,7 +350,7 @@ function get_text(source_text, left_marker, right_marker, optional_count) {
     return source_text.slice(left_position + left_marker.length, right_position).trim();}
 
 // remove all occurrences of given characters from a given string
-function remove_char(source_text, characters) {
+function remove_chars(source_text, characters) {
     if (!source_text) return ''; else if (!characters) return source_text;
     characters = characters.replace(/\\n/g,'\n').replace(/\\r/g,'\r').replace(/\\t/g,'\t');
     characters = characters.replace(/\\f/g,'\f').replace(/\\v/g,'\v').replace(/\\\\/g,'\\');