Dan Stillman 6d0e5959e6 Rename PDF tab title pref to include reader ... In case we have a separate pref for notes or something else		2023-02-03 00:43:18 -05:00
..
preferences	Rename PDF tab title pref to include reader	2023-02-03 00:43:18 -05:00