|
From: creedon <icr...@us...> - 2005-06-13 19:19:23
|
Update of /cvsroot/frontierkernel/odbs/frontierRoot/system/verbs/builtins/webBrowser In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv9430 Modified Files: init Log Message: added initializations for bringToFrontOnPreview, currentid, webPreviewSerialNumber, winDefaultBrowserApp Index: init =================================================================== RCS file: /cvsroot/frontierkernel/odbs/frontierRoot/system/verbs/builtins/webBrowser/init,v retrieving revision 1.1.1.1 retrieving revision 1.2 diff -C2 -d -r1.1.1.1 -r1.2 *** init 26 Mar 2005 19:43:50 -0000 1.1.1.1 --- init 13 Jun 2005 19:19:15 -0000 1.2 *************** *** 1,3 **** FrontierVcsFile:1:scpt:system.verbs.builtins.webBrowser.init ! ÇChanges Ç10/20/02; 2:29:14 AM by JES ÇInit user.webBrowser.proxy.exceptions. Ç12/19/01; 10:02:39 PM by JES ÇCreated. Initialize webBrowser settings. For now, only user.webBrowser.proxy. if not defined (user.webBrowser) { new (tableType, @user.webBrowser)}; if not defined (user.webBrowser.proxy) { new (tableType, @user.webBrowser.proxy)}; if not defined (user.webBrowser.proxy.enabled) { if defined (user.webBrowser.proxy.domain) { if sizeOf (user.webBrowser.proxy.domain) > 0 { user.webBrowser.proxy.enabled = true} else { user.webBrowser.proxy.enabled = false}} else { user.webBrowser.proxy.enabled = false}}; if not defined (user.webBrowser.proxy.domain) { user.webBrowser.proxy.domain = ""}; if not defined (user.webBrowser.proxy.password) { user.webBrowser.proxy.password = ""}; if not defined (user.webBrowser.proxy.port) { user.webBrowser.proxy.port = 80}; if not defined (user.webBrowser.proxy.username) { user.webBrowser.proxy.username = ""}; if not defined (user.webBrowser.proxy.exceptions) { new (tabletype, @user.webBrowser.proxy.exceptions)} \ No newline at end of file --- 1,3 ---- FrontierVcsFile:1:scpt:system.verbs.builtins.webBrowser.init ! ÇChanges Ç11/28/04; 9:38:57 AM by TAC Çadded bringToFrontOnPreview, currentid, webPreviewSerialNumber, winDefaultBrowserApp Ç10/20/02; 2:29:14 AM by JES ÇInit user.webBrowser.proxy.exceptions. Ç12/19/01; 10:02:39 PM by JES ÇCreated. Initialize webBrowser settings. For now, only user.webBrowser.proxy. if not defined (user.webBrowser) { new (tableType, @user.webBrowser)}; if not defined (user.webBrowser.bringToFrontOnPreview) { // 11/28/04; 9:38:57 AM by TAC user.webBrowser.bringToFrontOnPreview = true}; if not defined (user.webBrowser.currentid) { // 11/28/04; 9:38:57 AM by TAC user.webBrowser.currentid = 'NONE'}; if not defined (user.webBrowser.webPreviewSerialNumber) { // 11/28/04; 9:38:57 AM by TAC user.webBrowser.webPreviewSerialNumber = 1}; if not defined (user.webBrowser.winDefaultBrowserApp) { // 11/28/04; 9:38:57 AM by TAC user.webBrowser.winDefaultBrowserApp = ""}; bundle { // proxy if not defined (user.webBrowser.proxy) { new (tableType, @user.webBrowser.proxy)}; if not defined (user.webBrowser.proxy.domain) { user.webBrowser.proxy.domain = ""}; if not defined (user.webBrowser.proxy.enabled) { if defined (user.webBrowser.proxy.domain) { if sizeOf (user.webBrowser.proxy.domain) > 0 { user.webBrowser.proxy.enabled = true} else { user.webBrowser.proxy.enabled = false}} else { user.webBrowser.proxy.enabled = false}}; if not defined (user.webBrowser.proxy.password) { user.webBrowser.proxy.password = ""}; if not defined (user.webBrowser.proxy.port) { user.webBrowser.proxy.port = 80}; if not defined (user.webBrowser.proxy.username) { user.webBrowser.proxy.username = ""}; if not defined (user.webBrowser.proxy.exceptions) { new (tabletype, @user.webBrowser.proxy.exceptions)}} \ No newline at end of file |