Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
Already on GitHub? Sign in to your account
Tweaks to outline view. #19
JPMoresmau merged 3 commits into JPMoresmau:master from unknown repository
May 13, 2011
Commits on May 11, 2011
When a data declaration contains a single constructor with a name identical to the data declaration, this hides the node for the constructor and expands the constructor's children directly. The intent is to reduce the busy-ness of the outline view and the amount of repetative clicking to expand it, without ever hiding any information.