Robby Findler c4b0dffcfa try to help the search window to have the right size ... in the case that the font size has changed since it was last open (this doesn't seem to be a problem with only one tab and may actually be a bug in the way editor canvases with set-line-count enabled handle font size changes, I'm not sure, but this seems to fix a fairly annoying behavior I run into)		2016-03-27 17:40:22 -05:00
gui	Remove extra directories.	2014-12-02 02:33:07 -05:00
gui-doc	add any-control+alt-is-altgr	2016-03-17 16:39:40 -06:00
gui-lib	try to help the search window to have the right size	2016-03-27 17:40:22 -05:00
gui-test	fix bug in keybinding table construction	2016-03-18 09:42:31 -05:00
tex-table	some more updates to follow TeX better for \var vs non-\var greek letters	2016-03-10 21:54:30 -06:00
.gitignore	Add standard .gitignore file.	2014-12-06 17:46:34 -05:00