Delete min and double min
Various changes in light of importing ppeditor within peerpen