Indeed, I think Lukas removed it by mistake. It should be fixed now in the latest
Time: 5 February 2013, 3:17:26.695 pm
fixed the conditional that opens the DrabBrowser. Restored the PPTextHighlighter
On Feb 5, 2013, at 2:19 PM, Andrei Vasile Chis <chisvasileandrei(a)gmail.com> wrote:
In the latest version from jenkins the MoosePanel in not very usable because
PPTextHighlighter is missing from the image,
and it's still used in FAMIXJavaSourceLanguage and MooseMSEFilesExplorer.
I saw it was removes in the latest version of PetitGui.
Moose-dev mailing list
"Be rather willing to give than demanding to get."