mirror/OpenSpace
1
0
Fork 0
mirror of https://github.com/OpenSpace/OpenSpace.git synced 2026-04-23 12:39:24 -05:00
Code Issues Packages Projects Releases Wiki Activity

Add new font for the OnScreen GUI

Browse Source 
Cleanup of GUI shader code
Make copy/paste work in Onscreen GUI
This commit is contained in:
Alexander Bock
2016-06-27 01:12:53 +02:00
parent 41ef7c1b55
commit a7f556a9c4
3 changed files with 180 additions and 154 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/util/spicemanager.cpp
+1 -1
View File
@@ -952,7 +952,7 @@ glm::dvec3 SpiceManager::getEstimatedPosition(const std::string& target,
int observerId = naifId(observer);
std::set<double> coveredTimes = _spkCoverageTimes.find(targetId)->second;
const std::set<double>& coveredTimes = _spkCoverageTimes.find(targetId)->second;
glm::dvec3 pos;
if (coveredTimes.lower_bound(ephemerisTime) == coveredTimes.begin()) {