public MarkedSection addMarkedSection ( ) { MarkedSection section = new MarkedSection ( new Section ( null , numberDepth + 1 ) ) ; add ( section ) ; return section ; }
Adds a marked section . For use in class MarkedSection only!