diff options
author | Siri Hansen <[email protected]> | 2017-07-07 12:02:31 +0200 |
---|---|---|
committer | Siri Hansen <[email protected]> | 2017-07-07 12:02:31 +0200 |
commit | cc4de75dcb833610e52c7422b743c43556064a0a (patch) | |
tree | 5a81a1ef04482ebce0304dace8e5cd060dd1f920 /lib/reltool/src/reltool_mod_win.erl | |
parent | 60b478cb8398e834668b664e361aa9b6b461e708 (diff) | |
parent | 0633801a94a7ad5559ef59edc6ba25a5484d1e33 (diff) | |
download | otp-cc4de75dcb833610e52c7422b743c43556064a0a.tar.gz otp-cc4de75dcb833610e52c7422b743c43556064a0a.tar.bz2 otp-cc4de75dcb833610e52c7422b743c43556064a0a.zip |
Merge branch 'siri/unicode-in-release-handling/OTP-14463' into maint
* siri/unicode-in-release-handling/OTP-14463:
[sasl] Improve handling of unicode strings and atoms
[reltool] Improve handling of unicode strings and atoms
Diffstat (limited to 'lib/reltool/src/reltool_mod_win.erl')
-rw-r--r-- | lib/reltool/src/reltool_mod_win.erl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/reltool/src/reltool_mod_win.erl b/lib/reltool/src/reltool_mod_win.erl index 8cd63bdda1..2d56d74563 100644 --- a/lib/reltool/src/reltool_mod_win.erl +++ b/lib/reltool/src/reltool_mod_win.erl @@ -171,7 +171,7 @@ loop(#state{xref_pid = Xref, common = C, mod = Mod} = S) -> S2 = handle_event(S, Wx), ?MODULE:loop(S2); _ -> - error_logger:format("~w~w got unexpected message:\n\t~p\n", + error_logger:format("~w~w got unexpected message:\n\t~tp\n", [?MODULE, self(), Msg]), ?MODULE:loop(S) end @@ -487,7 +487,7 @@ handle_event(#state{xref_pid = Xref} = S, Wx) -> S; _ -> error_logger:format("~w~w got unexpected mod event from " - "wx:\n\t~p\n", + "wx:\n\t~tp\n", [?MODULE, self(), Wx]), S end. @@ -667,7 +667,7 @@ goto_function(S, Editor) -> wxStyledTextCtrl:setSelection(Editor, Left2, Right2), Text = wxStyledTextCtrl:getSelectedText(Editor), S2 = add_pos_to_history(S, CurrentPos), - do_goto_function(S2, string:tokens(Text, ":")); + do_goto_function(S2, string:lexemes(Text, ":")); _ -> %% No function call wxStyledTextCtrl:hideSelection(Editor, false), |