nixpkgs mirror (for testing) github.com/NixOS/nixpkgs
nix
at devShellTools-shell 49 lines 2.5 kB view raw
1diff --git i/config.cc w/config.cc 2index 04b63f5..7a453d9 100644 3--- i/config.cc 4+++ w/config.cc 5@@ -182,7 +182,7 @@ Preferences::Preferences(): 6 pronounceOnLoadPopup( false ), 7 useInternalPlayer( InternalPlayerBackend::anyAvailable() ), 8 internalPlayerBackend( InternalPlayerBackend::defaultBackend() ), 9- checkForNewReleases( true ), 10+ checkForNewReleases( false ), 11 disallowContentFromOtherSites( false ), 12 enableWebPlugins( false ), 13 hideGoldenDictHeader( false ), 14@@ -867,8 +867,8 @@ Class load() THROW_SPEC( exError ) 15 c.preferences.proxyServer.systemProxyPassword = proxy.namedItem( "systemProxyPassword" ).toElement().text(); 16 } 17 18- if ( !preferences.namedItem( "checkForNewReleases" ).isNull() ) 19- c.preferences.checkForNewReleases = ( preferences.namedItem( "checkForNewReleases" ).toElement().text() == "1" ); 20+ //if ( !preferences.namedItem( "checkForNewReleases" ).isNull() ) 21+ // c.preferences.checkForNewReleases = ( preferences.namedItem( "checkForNewReleases" ).toElement().text() == "1" ); 22 23 if ( !preferences.namedItem( "disallowContentFromOtherSites" ).isNull() ) 24 c.preferences.disallowContentFromOtherSites = ( preferences.namedItem( "disallowContentFromOtherSites" ).toElement().text() == "1" ); 25@@ -1819,9 +1819,9 @@ void save( Class const & c ) THROW_SPEC( exError ) 26 proxy.appendChild( opt ); 27 } 28 29- opt = dd.createElement( "checkForNewReleases" ); 30- opt.appendChild( dd.createTextNode( c.preferences.checkForNewReleases ? "1" : "0" ) ); 31- preferences.appendChild( opt ); 32+ //opt = dd.createElement( "checkForNewReleases" ); 33+ //opt.appendChild( dd.createTextNode( c.preferences.checkForNewReleases ? "1" : "0" ) ); 34+ //preferences.appendChild( opt ); 35 36 opt = dd.createElement( "disallowContentFromOtherSites" ); 37 opt.appendChild( dd.createTextNode( c.preferences.disallowContentFromOtherSites ? "1" : "0" ) ); 38diff --git i/preferences.cc w/preferences.cc 39index 72c3147..7e48f00 100644 40--- i/preferences.cc 41+++ w/preferences.cc 42@@ -314,6 +314,7 @@ Preferences::Preferences( QWidget * parent, Config::Class & cfg_ ): 43 this, SLOT( customProxyToggled( bool ) ) ); 44 45 ui.checkForNewReleases->setChecked( p.checkForNewReleases ); 46+ ui.checkForNewReleases->setEnabled( false ); 47 ui.disallowContentFromOtherSites->setChecked( p.disallowContentFromOtherSites ); 48 ui.enableWebPlugins->setChecked( p.enableWebPlugins ); 49 ui.hideGoldenDictHeader->setChecked( p.hideGoldenDictHeader );