#include <DocumentThread.hh>
◆ Prefs()
| DocumentThread::Prefs::Prefs |
( |
| ) |
|
◆ save()
| void DocumentThread::Prefs::save |
( |
| ) |
|
◆ config_path
| std::string cadabra::DocumentThread::Prefs::config_path |
|
private |
◆ data
| Json::Value cadabra::DocumentThread::Prefs::data |
|
private |
◆ font_step
| int cadabra::DocumentThread::Prefs::font_step |
◆ highlight
| bool cadabra::DocumentThread::Prefs::highlight |
◆ is_registered
| bool cadabra::DocumentThread::Prefs::is_registered |
The documentation for this class was generated from the following files: