From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA30637; Fri, 30 Mar 2001 14:32:22 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA30631 for ; Fri, 30 Mar 2001 14:32:21 +0200 (MET DST) Received: from saul.cis.upenn.edu (SAUL.CIS.UPENN.EDU [158.130.12.4]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f2UCWKX04956 for ; Fri, 30 Mar 2001 14:32:20 +0200 (MET DST) Received: from localhost (localhost [127.0.0.1]) by saul.cis.upenn.edu (8.10.1/8.10.1) with SMTP id f2UCWHv24025; Fri, 30 Mar 2001 07:32:17 -0500 (EST) To: Jacques Garrigue cc: caml-list@inria.fr Reply-to: bcpierce@cis.upenn.edu Subject: Re: [Caml-list] Future of labels In-reply-to: Your message of Fri, 30 Mar 2001 19:43:48 +0900. <20010330194348U.garrigue@kurims.kyoto-u.ac.jp> Date: Fri, 30 Mar 2001 07:32:17 EST Message-ID: <24023.985955537@saul.cis.upenn.edu> From: "Benjamin C. Pierce" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi Jacques, > I hoped that people would enjoy ocamlbrowser like you > and me. > Surprisingly, they do not seem to use it that much... habits, lack of > advertisement ? I've tried OCamlBrowser on a few occasions, but its default behavior is not quite intuitive enough for me to make it easier than looking things up in the ocaml manual. Here are a few reasons... * I was never able to make the search functions work (which is precisely what would have made it REALLY useful). * Since it uses pop-up windows, I find that my screen quickly fills up with dozens of windows so that pretty soon I can't find anything or see what I'm doing. I wonder whether it would be worth considering managing those windows yourself (i.e., enclosing them all in some big window that you manage) and using some kind of tiling scheme to manage the space better (with history/focus mechanisms to help recover recently viewed stuff). * Adding a path to the search path does not seem to have any persistent effect, so every time I restart I have to manually fix up the paths to find the lablgtk libraries, for example. (I know there must be command-line switches to do this, but I have never become a serious enough user to look for them. What I'm describing here is my experiences as a naive, occasional user.) Even better would be to be able to switch easily *between* sets of paths (something like Unison's named profiles), so that I could keep the standard OCaml libraries in one pane, the lablgtk interfaces in another, and the Unison sources in another. When they're mixed together, the main interface list gets too long and it's difficult to find things. * One feature that I'd REALLY like would be the ability to click on a use of an identifier and be transported to its def-site. Similarly, I'd like to be able to click on a declaration in a .mli file and be taken to the corresponding definition in the .ml file. I guess doing this right 100% of the time might be hard (at least, it might require help from the compiler), but I'll bet a simple guess would usually be OK. Benjamin ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr