#include <uicodeeditorsplitter.hpp> struct NavigationRecord { // fields std::string path; TextPosition pos; Uint64 timestamp; };