From 1cd9ab5ab036525229281f58309221885cbe419d Mon Sep 17 00:00:00 2001 From: paarth Date: Sun, 13 Dec 2015 16:50:08 -0500 Subject: [PATCH] Made all entries in WebPreferences interface optional, reflecting documentation --- github-electron/github-electron.d.ts | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/github-electron/github-electron.d.ts b/github-electron/github-electron.d.ts index 7c5fa8b4d..12d53dcc6 100644 --- a/github-electron/github-electron.d.ts +++ b/github-electron/github-electron.d.ts @@ -450,14 +450,14 @@ declare module GitHubElectron { interface WebPreferences { nodeIntegration?: boolean; preload?: string; - partition: string; - zoomFactor: number; - javascript: boolean; - webSecurity: boolean; - allowDisplayingInsecureContent: boolean; - allowRunningInsecureContent: boolean; - images: boolean; - textAreasAreResizable: boolean; + partition?: string; + zoomFactor?: number; + javascript?: boolean; + webSecurity?: boolean; + allowDisplayingInsecureContent?: boolean; + allowRunningInsecureContent?: boolean; + images?: boolean; + textAreasAreResizable?: boolean; webgl?: boolean; webaudio?: boolean; plugins?: boolean;