Go to file
Robby Findler ce23305a06 when moving the insertion point due to a search, use call-as-primary-owner
to scroll the right editor
   closes PR 12080

original commit: fc50be1caaa47ee315269b7254a742b4717b8350
2011-08-05 23:33:51 -05:00
collects when moving the insertion point due to a search, use call-as-primary-owner 2011-08-05 23:33:51 -05:00
doc/release-notes remove unsupported MDI styles and method 2011-08-04 08:02:54 -06:00
man/man1 minor man-page corrections 2011-02-01 08:01:17 -07:00