TABLE OF CONTENTS
- 1. TkAda/Winfo
TkAda/Winfo [ Packages ]
[ Top ] [ TkAda ] [ Packages ]
FUNCTION
Provides code for get information about selected window
SOURCE
package Tcl.Tk.Ada.Winfo with SPARK_Mode is
Winfo/Winfo.Winfo_Get [ Subprograms ]
[ Top ] [ Winfo ] [ Subprograms ]
FUNCTION
Get selected information about selected window
SOURCE
function Winfo_Get (Widgt: in Tk_Widget'Class; Info: in String; Options: in String := "") return String;
PARAMETERS
Tk_Widget - Tk_Widget which will be queried Info - Winfo information to get Options - Options for selected information. Default is empty
RESULT
Selected information about selected Tk_Widget
EXAMPLE
-- Check if widget My_Label exists Exists: constant String := Winfo_Get(My_Label, "exists");
COMMANDS
winfo info Widgt options
HISTORY
8.6.2 - Added