aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/session.ml
diff options
context:
space:
mode:
authorGravatar Paul Steckler <steck@stecksoft.com>2018-01-19 16:43:14 -0500
committerGravatar Paul Steckler <steck@stecksoft.com>2018-01-19 16:43:14 -0500
commit2528533d7877ecf99d880650e1c81c78190ca25d (patch)
tree5e718fcebef511915a47bb35e4585624debf52b8 /ide/session.ml
parent9aa2464375c1515aa64df7dc910e2f324e34c82f (diff)
update location on tab switch, issue 6624
Diffstat (limited to 'ide/session.ml')
-rw-r--r--ide/session.ml5
1 files changed, 1 insertions, 4 deletions
diff --git a/ide/session.ml b/ide/session.ml
index 0a09cc9f5..8dada8ff2 100644
--- a/ide/session.ml
+++ b/ide/session.ml
@@ -209,10 +209,7 @@ let set_buffer_handlers
let mark_set_cb it m =
debug_edit_zone ();
let ins = get_insert () in
- let line = ins#line + 1 in
- let off = ins#line_offset + 1 in
- let msg = Printf.sprintf "Line: %5d Char: %3d" line off in
- let () = !Ideutils.set_location msg in
+ let () = Ideutils.display_location ins in
match GtkText.Mark.get_name m with
| Some "insert" -> ()
| Some s -> Minilib.log (s^" moved")