diff options
Diffstat (limited to 'ide/ideutils.ml')
| -rw-r--r-- | ide/ideutils.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ide/ideutils.ml b/ide/ideutils.ml index f8af156c47..e1c1a2f64b 100644 --- a/ide/ideutils.ml +++ b/ide/ideutils.ml @@ -261,3 +261,8 @@ let run_command f c = Buffer.add_string result r done; (Unix.close_process_full (cin,cout,cerr), Buffer.contents result) + +let underscore = Glib.Utf8.to_unichar "_" (ref 0) +let bn = Glib.Utf8.to_unichar "\n" (ref 0) +let space = Glib.Utf8.to_unichar " " (ref 0) +let tab = Glib.Utf8.to_unichar "\t" (ref 0) |