[SrcML] ViewPlatform and IndentEvent.java

[<lei...@un...>]

I found some spare time today, so I tried to get the new IndentEvent working...

But I'm a bit confused, if it's enough to change the outputIndent() method in
ViewPlugin.java and the sendEvent() method in View.java. How is indenting done
'til now? So Frank, could give me a short draft, how it works right now?

Thank you and have a nice weekend!
> Leif