diff options
author | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-02-20 19:51:12 +0000 |
---|---|---|
committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-02-20 19:51:12 +0000 |
commit | 9946204be84ababd0670adcc29c2cdb30ae13909 (patch) | |
tree | 18bdb4a895efe6838465a86b228207b04f49c667 /ide/wg_Completion.ml | |
parent | eaf092ae877396b628784869c9bf0937def343b9 (diff) |
Fixing #2763
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16229 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/wg_Completion.ml')
-rw-r--r-- | ide/wg_Completion.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/wg_Completion.ml b/ide/wg_Completion.ml index d44bd51b4..9f79385c2 100644 --- a/ide/wg_Completion.ml +++ b/ide/wg_Completion.ml @@ -274,7 +274,7 @@ object (self) | Some path -> let path = f path in let _ = data#selection#select_path path in - data#scroll_to_cell path col + data#scroll_to_cell ~align:(0.,0.) path col method private select_previous () = let prev path = |