Yes, please do. That list is a great start. Both of the rounded ends of the Live Search text input field look a little off too.
On Sunday, December 9, 2012 10:04:20 AM UTC-8, François Schiettecatte wrote: > > Martin > > You should file a report with Bare Bones Software Technical Support @ > [email protected] <javascript:> > > François > > On Dec 9, 2012, at 12:41 PM, Martin Hairer <[email protected]<javascript:>> > wrote: > > > This is of course minor, but there are still quite a few small icons > that > > show up at low resolution on a retina screen. Here's a (possibly not > > exhaustive) list: > > > > - The "close" button in the "Currently Open Documents" list. > > - The "Project", "Scripts" and "Clippings" icons in the menu bar. > > - The "Gears" and "Project" icons at the bottom left of the main window. > > - The little "document" icon next to the character / word / line count. > > - The "history" icon in the "Find Differences" dialog. > > - The "history" and "grep" icons in the standard "Find" dialog. > > - The little up / down arrows in the "Body Properties" pop-ups. > > - The "BBEdit" icon in the "About BBEdit" dialog. > > > > Keep up the good work! Best, > > > > Martin > > > > -- > > -- > > You received this message because you are subscribed to the > > "BBEdit Talk" discussion group on Google Groups. > > To post to this group, send email to [email protected]<javascript:> > > To unsubscribe from this group, send email to > > [email protected] <javascript:> > > For more options, visit this group at > > <http://groups.google.com/group/bbedit?hl=en> > > If you have a feature request or would like to report a problem, > > please email "[email protected] <javascript:>" rather than posting > to the group. > > Follow @bbedit on Twitter: <http://www.twitter.com/bbedit> > > > > > > > > -- -- You received this message because you are subscribed to the "BBEdit Talk" discussion group on Google Groups. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at <http://groups.google.com/group/bbedit?hl=en> If you have a feature request or would like to report a problem, please email "[email protected]" rather than posting to the group. Follow @bbedit on Twitter: <http://www.twitter.com/bbedit>
