< !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.
説明はありません。 インターネットに接続していれば、このページの上部にある Wikipedia タブをクリックすることで他の情報を得ることができます。