Yuya Ochiai 3feb833537 Refresh the inside of the current tab when reloading in the main window ... For #213 and #223 As the side effect, this doesn't reload the settings page. But it will not be problem in most cases.		2016-07-28 22:57:30 +09:00
..
menus	Refresh the inside of the current tab when reloading in the main window	2016-07-28 22:57:30 +09:00
allowProtocolDialog.js	Fix obsolete 'shell' API	2016-06-12 22:56:22 +09:00
certificateStore.js	Confirm to trust certificate when there is error	2016-03-06 22:00:23 +09:00