diff options
| author | Philipp Sehmisch <mana@crushnet.org> | 2010-02-24 21:51:48 +0100 |
|---|---|---|
| committer | Philipp Sehmisch <mana@crushnet.org> | 2010-02-24 22:55:56 +0100 |
| commit | 4cb11db37aeb8052e1fef94965bc48bbc949e7f9 (patch) | |
| tree | bcd945faf1388b96be9d949d9b6d701855b70a9a /docs/example.mana | |
| parent | 48131e2ecfa4d52375d890dac80f9ab1ad45ccf0 (diff) | |
| download | mana-4cb11db37aeb8052e1fef94965bc48bbc949e7f9.tar.gz mana-4cb11db37aeb8052e1fef94965bc48bbc949e7f9.tar.bz2 mana-4cb11db37aeb8052e1fef94965bc48bbc949e7f9.tar.xz mana-4cb11db37aeb8052e1fef94965bc48bbc949e7f9.zip | |
Added the possibility to pass a branding file by command line. Reviewed-by: Thorbjørn Lindeijer <thorbjorn@lindeijer.nl>
Diffstat (limited to 'docs/example.mana')
| -rw-r--r-- | docs/example.mana | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/docs/example.mana b/docs/example.mana new file mode 100644 index 00000000..795d8d40 --- /dev/null +++ b/docs/example.mana @@ -0,0 +1,21 @@ +<?xml version="1.0"?> + +<!-- +Example branding file + +With a branding file you can customize the appearance and various +other default settings. To use a branding file just pass its +filename / path as a command line parameter +--> + +<configuration> + <option name="appName" value="Mana"/> + <option name="appShort" value="mana"/> + <option name="appIcon" value="icons/mana.png"/> + <option name="loginMusic" value="Magick - Real.ogg"/> + <option name="defaultServer" value="testing.manasource.org"/> + <option name="defaultPort" value="9601"/> + <option name="defaultUpdateHost" value="http://updates.themanaworld.org"/> + <option name="font" value="fonts/dejavusans.ttf" /> + <option name="boldFont" value="fonts/dejavusans-bold.ttf" /> +</configuration> |