adapter method for non-IAdaptable elements
use subsections for dialog settings
moved PProcessImages to pprocess.ui.internal package
moved PProcessUIPlugin to pprocess.ui.internal package
general method to retrieve selection element
starting to create a sub-term selection dialog

Open the dialog on double-click on MarkFeatures terms;
Use term adapters to provide term selection options for concrete terms (e.g. Isabelle or Z/EVES)
basic styler that applies Isabelle font
expose JudgementTerm rendering
term selection source for JudgementTerm

Basic implementation: just takes the assms/goals, no schemas
open term in the same dialog when double-clicked
basic sub-term selection provider for CztTerm
use just the label for CztTerm rendering
fixed scrolling for large terms
better term rendering (flatten)
show only 2 levels of sub terms;
better splitting for nested AndPred