Matthew Flatt 399cfe9c5b add 'hide-hscroll and 'hide-vscroll for panel%		2016-05-18 15:30:33 -06:00
..
framework	Minor wording fix in highlight-range docs	2016-05-11 15:34:04 -04:00
gui	add 'hide-hscroll and 'hide-vscroll for panel%	2016-05-18 15:30:33 -06:00