> how to sort the environments in the upper left corner pull down menu? > guess it is more convinent. > > Michael
Here is a question along the same lines: How can I modify the number of environments shown by default? By default, it shows 10 different types and you have to scroll up or down. Ideally, I would like all the environments shown with the current one highlighted. This has always bugged me, as I find myself scrolling up and down for some environments. Thanks! Ed
