[Setools] Few comments about Image Development

[Alexandre Bergel]

Hi!

This image is great!
There are however few things that are bugging me:
	- when I enter a ( or a [, the closing mark appears. I find this  
really annoying, but I can imagine that some people like this. Is  
there is a way to disable it ?
	- When I use the refactoring browser, there is an automatic pretty  
print. I do not find that great too :-( how can I disable the pretty  
print ?

With OB I cannot use refactorings. Making the menu appears with OB  
raises an error ? I am willing to spend some time on this... Any hint  
before I dive into this would be appreciated!

Alexandre
-- 
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel  http://www.cs.tcd.ie/Alexandre.Bergel
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.