You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 3704 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Boris Yakobowski
Version: 3.08
OS: Linux
Submission from: pouilly.inria.fr (128.93.8.13)
Under emacs, when the user deletes the buffer caml-types (for example because he
closes all the buffers, but not emacs itself), caml-types-show-type stops
functioning. This is becauses it expects the buffer to still exist, and attempts
to switch to it, which fails.
--
Boris
The text was updated successfully, but these errors were encountered:
Original bug ID: 3704
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Boris Yakobowski
Version: 3.08
OS: Linux
Submission from: pouilly.inria.fr (128.93.8.13)
Under emacs, when the user deletes the buffer caml-types (for example because he
closes all the buffers, but not emacs itself), caml-types-show-type stops
functioning. This is becauses it expects the buffer to still exist, and attempts
to switch to it, which fails.
--
Boris
The text was updated successfully, but these errors were encountered: