When I tried to change the width of the tools gui, the program would crash and I would get the following error:
X Error of failed request: BadMatch (invalid parameter attributes)
Major opcode of failed request: 73 (X_GetImage)
Serial number of failed request: 29533
Current serial number in output stream: 29533
Segmentation fault
The solution I found is quite simple. In src/gui.py change
to
For me, this also had the added benefit that the tools gui would start at a width that showed all menu items.
When I tried to change the width of the tools gui, the program would crash and I would get the following error:
The solution I found is quite simple. In
src/gui.pychangeto
For me, this also had the added benefit that the tools gui would start at a width that showed all menu items.