|
@@ -58,7 +58,7 @@ let display e = raise (Display e)
|
|
|
|
|
|
let is_resuming p =
|
|
let is_resuming p =
|
|
let p2 = !resume_display in
|
|
let p2 = !resume_display in
|
|
- p.pmax = p2.pmin && Common.get_full_path p.pfile = p2.pfile
|
|
|
|
|
|
+ p.pmax = p2.pmin && String.lowercase (Common.get_full_path p.pfile) = p2.pfile
|
|
|
|
|
|
let priority = function
|
|
let priority = function
|
|
| OpAssign | OpAssignOp _ -> -4
|
|
| OpAssign | OpAssignOp _ -> -4
|