Highlight is now aware of multiple tabs.
Translation for qrgui updated.
Merge pull request #730 from qreal/#729

Highlight is now aware of multiple tabs.
Merge pull request #731 from qreal/updatedTranslation

Translation for qrgui updated.
Fixed segfault when opening diagram during interpretation
Fixed link copy-paste