system: added raise_window() (#1131)

2022-09-29 11:31:55 -04:00
parent a0164d5902
commit ba0a454c97
2 changed files with 19 additions and 0 deletions
@@ -131,6 +131,11 @@ function system.set_window_size(width, height, x, y) end
 ---@return boolean
 function system.window_has_focus() end

+---
+---Raise the main window and give it input focus.
+---Note: may not always be obeyed by the users window manager.
+function system.raise_window() end
+
 ---
 ---Opens a message box to display an error message.
 ---