gdb-port/gui.py · 0aa5570ed54ccf294d92f13c30f5cd44d3012111 · safedocs-ta2-profiling / perf-instrumentation · GitLab

Aug 17, 2021
0aa5570e
Set sticky="w" on UI grid · 0aa5570e
pompolic authored Aug 17, 2021
```
Makes the window resizing itself a bit more tolerable
```
0aa5570e
Set sticky="w" on UI grid
pompolic authored Aug 17, 2021
```
Makes the window resizing itself a bit more tolerable
```