Dan Stillman a8ba2fac33 Don't rely on last browser window to open prefs from menu		2017-07-30 07:42:56 -04:00
..
mac	Don't rely on last browser window to open prefs from menu	2017-07-30 07:42:56 -04:00
unix	Fix missing Options menu on Windows/Linux	2017-01-10 21:44:03 -05:00
win	Move Tools -> Options to Edit -> Preferences on Windows	2017-07-18 04:14:17 -04:00