ui: Fixes related to focus navigation (#948)

Scroll graph area with Ctrl + Arrows
Moved graph zoom to Ctrl + Shift + Up/Down
Scroll code area with Ctrl + Arrows
Fixed graph showing focus when activating the active symbol
Made links in project description focus-able
Fixed parent graph node not showing focus after hovering edge to child node
This commit is contained in:
Eberhard Gräther
2020-03-29 16:01:22 +02:00
committed by GitHub
parent 57fd9f277a
commit 76562bb8ee
11 changed files with 168 additions and 29 deletions
@@ -913,6 +913,7 @@ std::vector<std::string> CodeController::getProjectDescription(SourceLocationFil
std::vector<std::string> lines = utility::splitToVector(description, "\\n");
size_t startLineNumber = 2;
Id locationId = 0;
for (size_t i = 0; i < lines.size(); i++)
{
std::string line = "\t" + utility::trim(lines[i]);
@@ -943,7 +944,7 @@ std::vector<std::string> CodeController::getProjectDescription(SourceLocationFil
line.replace(posA, posB - posA + 1, nameString);
locationFile->addSourceLocation(
LOCATION_TOKEN,
0,
++locationId,
{tokenId},
startLineNumber + i,
posA + 1,