gui_pb::drawing

Module replay_manager

Source

Structsยง

  • ReplayManager
    The public interface for recording and replaying GUI data