add pinning to source window

tromey / gdb-gui

A gdb gui written in Python, running inside gdb itself.

44 stars 3 forks source link

Open tromey opened 9 years ago

tromey commented 9 years ago

Add a way to pin a source window so that it will not be used during updating.