Remove cumbersome copy of ProblemNavigationContext

Authored by kfunk on Feb 3 2016, 12:15 AM.

Description

Remove cumbersome copy of ProblemNavigationContext

Base ProblemNavigationContext in language/ on IProblem again. Can now be
used in problem reporter plugin again.

Details

Committed
kfunkFeb 3 2016, 12:21 AM
Parents
R32:7b886135e564: Code cleanup: Refactor parent commit
Branches
Unknown
Tags
Unknown