fixes for DisplayView.java