@ -63,6 +63,7 @@ const fields = [
['zoom.out', 'Zoom-out'],
['zoom.neutral', 'Reset zoom level'],
['page.source', 'Open a page source'],
['repeat.last', 'Repeat last change'],
]
];
@ -390,6 +390,7 @@ export const DefaultSettingData: SettingData = SettingData.valueOf({
"/": { "type": "find.start" },
"n": { "type": "find.next" },
"N": { "type": "find.prev" },
".": { "type": "repeat.last" },
"<S-Esc>": { "type": "addon.toggle.enabled" }
},
"search": {
@ -177,6 +177,7 @@ export const DefaultSetting: Settings = {
'/': { 'type': 'find.start' },
'n': { 'type': 'find.next' },
'N': { 'type': 'find.prev' },
'.': { 'type': 'repeat.last' },
'<S-Esc>': { 'type': 'addon.toggle.enabled' }
search: {