Commit 686b30f3 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

May fix the highlighting problem

parent d0eced69
...@@ -1642,7 +1642,12 @@ let scroll_to_loc ?(yalign=0.0) ~color loc = ...@@ -1642,7 +1642,12 @@ let scroll_to_loc ?(yalign=0.0) ~color loc =
let (f,l,b,e) = Loc.get loc in let (f,l,b,e) = Loc.get loc in
if f <> !current_file then if f <> !current_file then
begin begin
source_view#source_buffer#set_language (any_lang f); let lang =
if Filename.check_suffix f ".why" ||
Filename.check_suffix f ".mlw"
then why_lang else any_lang f
source_view#source_buffer#set_language lang;
source_view#source_buffer#set_text (source_text f); source_view#source_buffer#set_text (source_text f);
set_current_file f; set_current_file f;
end; end;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment