#include <DocumentThread.hh>
|
using | ColorMap = std::map< std::string, std::string > |
|
◆ ColorMap
◆ Prefs()
DocumentThread::Prefs::Prefs |
( |
bool |
use_defaults = false | ) |
|
◆ save()
void DocumentThread::Prefs::save |
( |
| ) |
|
◆ auto_close_latex
bool cadabra::DocumentThread::Prefs::auto_close_latex |
◆ colours
std::map<std::string, ColorMap> cadabra::DocumentThread::Prefs::colours |
◆ config_path
std::string cadabra::DocumentThread::Prefs::config_path |
|
private |
◆ data
nlohmann::json cadabra::DocumentThread::Prefs::data |
|
private |
◆ font_step
int cadabra::DocumentThread::Prefs::font_step |
◆ git_path
std::string cadabra::DocumentThread::Prefs::git_path |
◆ highlight
bool cadabra::DocumentThread::Prefs::highlight |
◆ is_anonymous
bool cadabra::DocumentThread::Prefs::is_anonymous |
◆ is_registered
bool cadabra::DocumentThread::Prefs::is_registered |
◆ microtex
bool cadabra::DocumentThread::Prefs::microtex |
◆ move_into_new_cell
bool cadabra::DocumentThread::Prefs::move_into_new_cell |
◆ python_path
std::string cadabra::DocumentThread::Prefs::python_path |
◆ tab_completion
bool cadabra::DocumentThread::Prefs::tab_completion |
The documentation for this class was generated from the following files: