< !DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd" > p, li {white-space: pre-wrap;} This is Marble's machine room for advanced users. Here you can select and deselect the functionality that is provided through plugins. Deselecting a plugin will remove the functionality from the map, menus and toolbars. Also some of the plugins might allow for tweaking their configuration a bit.
<! DOCTYPE HTML PUBLIC "- // W3C // DTD HTML 4. 0 // EN" "http: // www. w3. org/ TR/ REC- html40/ strict. dtd" > p, li {white- space: pre- wrap;} Esta é a sala de máquinas de Marble para usuarios expertos. Aquí pode escoller que funcionalidade desexa activando ou desactivando engadidos. Desactivar un engadido elimina a súa funcionalidade dos mapas, os menús e as barras de ferramentas. Algúns engadidos mesmo permitirán configurar o seu funcionamento.