-
Notifications
You must be signed in to change notification settings - Fork 16
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix "Analysis" tree colors, one "Map View" button, updated footer, ot…
…her minor fixes 1. In the "Analyis" tree, the coloring of the boxes with high operation time was broken since the times use thousand separators. This is now fixed and the colors are also a bit brighter (even the brightest red was a bit pale before). 2. The "Map View" now links to an instance of https://github.com/ad-freiburg/qlever-petrimaps . There is no longer a link to the old https://github.com/ad-freiburg/qlever-mapui because it is not subsumed by the new UI (expect that the info boxes in the old UI are nicer, but than can be easily carried over). 3. Update the footer information 4. Various other minor fixes, including some experimental hacks for specifific backends (for internal use).
- Loading branch information
Hannah Bast
committed
Jun 18, 2023
1 parent
f132f56
commit 8ee0887
Showing
4 changed files
with
35 additions
and
25 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters