![]() |
wxMaxima
|
Holds the instance of the font name interner, and synchronizes access to it. More...
Public Member Functions | |
Interner< wxString > & | Get () const |
InternerUser (const InternerUser &)=delete | |
void | operator= (const InternerUser &)=delete |
Holds the instance of the font name interner, and synchronizes access to it.
Use an an object of this class to gain exclusive access to the interner. This is needed for thread safety.