]> git.saurik.com Git - wxWidgets.git/tree - wxPython/samples/ide/
added a menu allowing to change the border style used by the widget
[wxWidgets.git] / wxPython / samples / ide /
drwxr-xr-x   ..
-rw-r--r-- 1032 ActiveGridIDE.py
drwxr-xr-x - activegrid