Introduced a new layer of "panels" that produce panes

2021-09-01 04:40:43 -05:00
parent df39308b7a
commit 3004a87571
5 changed files with 589 additions and 315 deletions
--- a/topinf.ml
+++ b/topinf.ml
@ -1327,7 +1327,6 @@ let use_output ppf command =

 let use_file ppf ~wrap_in_module name =
  match name with
-  | "" -> use_channel ppf ~wrap_in_module stdin name "(stdin)"
  | _ -> (
    match Load_path.find name with
    | filename ->