Used internally.

Properties

• bool capture_keys [default = false]
  • get_capture_keyboard()
  • set_capture_keyboard(bool capture_keys)
• bool capture_mouse [default = true]
  • get_capture_mouse()
  • set_capture_mouse(bool capture_mouse)
• bool fix_export_build [default = false]
  • get_fix_export_build()
  • set_fix_export_build(bool fix_export_build)
• String license_description [default = "gd-we...]
  • get_license_description()
  • set_license_description(String license_description)
• String path [default = ""]
  • get_export_build_fix_path()
  • set_export_build_fix_path(String path)
• int refresh rate [default = 60]
  • get_refresh_rate()
  • set_refresh_rate(int refresh rate)
• bool unloaded_warning [default = true]
  • get_unloaded_warning()
  • set_unloaded_warning(bool unloaded_warning)

Methods

Signals

• console_log(int level, String message, int lineNumber, String sourceID)
• signal_added(String signal_name)
• view_error()
• view_idle()
• view_loaded()
• view_ready()