TOL User Configuration Manager

El 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:

  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

  Real TolConfigManager::Config::Upgrading::TolVersion::CheckAllowed:= True;
  Real TolConfigManager::Config::Upgrading::TolPackage::LocalOnly := False;
  Real TolConfigManager::Save(?);