Changes between Initial Version and Version 1 of TolConfigManager

Timestamp:

Mar 17, 2011, 12:04:54 PM (15 years ago)

Author:

Víctor de Buen Remiro

Comment:

--

TolConfigManager

@@ +1 @@
+= TOL User Configuration Manager =
+
+El [source:/tolp/trunk/tol/stdlib/TolConfigManager NameBlock TolConfigManager] permite al usuario 
+modificar sus preferencias en el uso de TOL utilizando el propio lenguaje, y almacenarlo en el 
+disco de una forma transparente.
+
+Por ejemplo, si tenemos una máquina sin conexión a internet es recomendable cambiar la 
+configuración local de TOL, para evitar que el sistema pierda tiempo intentando conectarse. 
+Como de momento no está hecho el interfaz gráfico, el usuario debe ejecutar manualmente 
+el siguiente código:
+
+{{{
+#!cpp
+  Real TolConfigManager::Config::Upgrading::TolVersion::CheckAllowed:= False;
+  Real TolConfigManager::Config::Upgrading::TolPackage::LocalOnly := True;
+  Real TolConfigManager::Save(?);
+}}}
+
+Si más adelante tiene conexión puede deshacer lo anterior
+
+{{{
+#!cpp
+  Real TolConfigManager::Config::Upgrading::TolVersion::CheckAllowed:= True;
+  Real TolConfigManager::Config::Upgrading::TolPackage::LocalOnly := False;
+  Real TolConfigManager::Save(?);
+}}}