1) would people like to have shortcut for accessing the different pane of the browser ? Here is a mapping proposal:
Esc to enter leave the mercury panel
F1 Category/Package F2 Classes F3 method categories F4 methods ... tab to change the swith (instances ? class for instance)
Enter to go to the code pane.
What do you think ? Not sure easily feasible though
I do not understand this. When you say F1. Are you referring to the key? Or entering "F1 Tools" for examples in the mercury panel?
2) more simple What about having "browse class" (alt + shift + b) and "browse protocol" for an object (alt+shift+p) creates a link to a project but...
Why not having alt+b as it is now? Alexandre -- _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.