ui: scope names in snippet titles

* added title for snippets
* title displays name of parent scope.
* when new TokenLocationFiles are created in the storage they are now returned as shared_ptr to ensure correct linking in the contained data.
* Storage::getTokenLocationsForLinesInFile() now always returns pairs of start and end locations.
* Adjusted code snippet view to regard the change described above.
This commit is contained in:
malte_langkabel
2015-05-11 12:34:27 +02:00
parent 7d48a873f7
commit 97345cc72f
22 changed files with 667 additions and 556 deletions
+13 -4
View File
@@ -14,19 +14,28 @@
color: black;
}
#code_snippet {
#code_file #code_snippet #title_label {
background-color: rgb(220,220,220);
font-family: "Source Code Pro";
border-top-right-radius: 10px;
font-size: 14px;
text-align: left;
padding: 4px 12px;
}
#code_area {
font-family: "Source Code Pro";
font-size: 14px;
margin-bottom: 2px;
}
#code_snippet #line_number_area {
#code_area #line_number_area {
background-color: white;
font-family: "Source Code Pro";
font-size: 14px;
}
#code_snippet #maximize_button {
#code_area #maximize_button {
border: none;
border-image: none;
margin: 5px;
@@ -34,7 +43,7 @@
max-width: 16px;
}
#code_snippet #maximize_button:enabled {
#code_area #maximize_button:enabled {
border-image: url(data/gui/code_view/images/button_maximize.png);
}