In PV project properties menu, there is a pane for Console. That pane has nothing on it. No controls, nothing. It seems like it probably should have various settings where I can customize the shell, build and run commands for this project. Were these moved somewhere else? What is supposed to be here? If this pane is deprecated, it should be removed, not left blank. If it is intended to have something on it, then there seems to be an issue.
Using jEdit 5.2pre1 on Win7, Java 1.7.0_45, PV version 3.5.3