Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#155 Auto-change end / beginning of section-type by editing

open
nobody
None
5
2011-08-28
2011-08-28
Mike Pretzlaw
No

When changing \begin{foo} to \begin{bar} mark the "foo" in \end{foo} with the internal refactoring methods of eclipse and change it also to \end{bar}.

It bothers to scroll down and change once more while eclipse can handle it much faster.

Thanks!

Discussion