Window creation/X11: Difference between revisions
→{{header|TXR}}: Correct link. We can't link to the X11 sub-section because #X11_3 is ambiguous.
(→{{header|TXR}}: Replace redundant code with link to X11 solution under Window Creation.) |
(→{{header|TXR}}: Correct link. We can't link to the X11 sub-section because #X11_3 is ambiguous.) |
||
Line 1,152:
=={{header|TXR}}==
See [[Window_creation#
{{omit from|ACL2}}
|