diff options
| author | Hugo Herbelin | 2018-11-19 15:57:59 +0100 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-19 08:40:17 +0000 |
| commit | d016e542bb42c2b47f9cfc66f51cd01d52124141 (patch) | |
| tree | fc330900033951cc27d227a70379422652b0fd59 /ide/session.ml | |
| parent | 977261ed0afd415932401c3f5df258333488e47b (diff) | |
CoqIDE: Change name of module: Sourceview2 -> Sourceview3
Diffstat (limited to 'ide/session.ml')
| -rw-r--r-- | ide/session.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/session.ml b/ide/session.ml index e2427a9b51..b7f98f3d79 100644 --- a/ide/session.ml +++ b/ide/session.ml @@ -47,7 +47,7 @@ type session = { } let create_buffer () = - let buffer = GSourceView2.source_buffer + let buffer = GSourceView3.source_buffer ~tag_table:Tags.Script.table ~highlight_matching_brackets:true ?language:(lang_manager#language source_language#get) |