search

tromey / gdb-gui

A gdb gui written in Python, running inside gdb itself.
44 stars 3 forks source link

let user set font #18

Closed tromey closed 9 years ago

tromey commented 9 years ago

Let the user set the font and size, and persist the setting

tromey commented 9 years ago

Done.