search

calebegg / proof-pad-classic

An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21 stars 4 forks source link

request: column number option and window size option #65

Open rexpage opened 11 years ago

rexpage commented 11 years ago

I'd like to be able to see the current column number somewhere in the window. Also, it would be nice to be able to specify the default window size.