(winPtr)
| 1912 | * This procedure is called to update the window manager's |
| 1913 | * hints information from the information in a WmInfo |
| 1914 | * structure. |
| 1915 | * |
| 1916 | * Results: |
| 1917 | * None. |
| 1918 | * |
| 1919 | * Side effects: |
| 1920 | * Properties get changed for winPtr. |
| 1921 | * |
| 1922 | *-------------------------------------------------------------- |
| 1923 | */ |
| 1924 | |
| 1925 | static void |
| 1926 | UpdateHints(winPtr) |
| 1927 | TkWindow *winPtr; |
no outgoing calls
no test coverage detected