Function LineGetter.dispose
Call this before letting LineGetter die so it can do any necessary cleanup and save the updated history to a file.
void dispose();
Call this before letting LineGetter die so it can do any necessary cleanup and save the updated history to a file.
void dispose();