From 916c0e7e8c1293237f28a4639a8bc5e7d78858e7 Mon Sep 17 00:00:00 2001 From: Stijn Buys Date: Mon, 6 Oct 2008 18:25:50 +0000 Subject: menu .ini files --- base/ini/menus/main.ini | 26 ++++++++++++++++++++++++++ base/ini/menus/options.ini | 10 ++++++++++ base/ini/ui.ini | 17 +++++++++++++++++ 3 files changed, 53 insertions(+) create mode 100644 base/ini/menus/main.ini create mode 100644 base/ini/menus/options.ini create mode 100644 base/ini/ui.ini (limited to 'base') diff --git a/base/ini/menus/main.ini b/base/ini/menus/main.ini new file mode 100644 index 0000000..737b223 --- /dev/null +++ b/base/ini/menus/main.ini @@ -0,0 +1,26 @@ +; +; main.ini +; main menu +; + +[menu] +background=banner + +[label] +text=Main Menu + +[button] +text=Start +command=connect + +[button] +text=Connect... +command=menu connect + +[button] +text=Options... +command=menu options + +[button] +text=Quit +command=quit diff --git a/base/ini/menus/options.ini b/base/ini/menus/options.ini new file mode 100644 index 0000000..b731627 --- /dev/null +++ b/base/ini/menus/options.ini @@ -0,0 +1,10 @@ +; +; options.ini +; options menu +; + +[menu] +background=banner + +[label] +text=Options Menu diff --git a/base/ini/ui.ini b/base/ini/ui.ini new file mode 100644 index 0000000..066e665 --- /dev/null +++ b/base/ini/ui.ini @@ -0,0 +1,17 @@ +; +; ui.ini +; global user interface settings +; list of menus +; + +[ui] +menu=main +menu=options + +[colors] +; global foreground color rgb +foreground=1 1 1 +; global background color rgba +background=0.8 0.8 0.8 0.5 +; global border color rgb +border=0 0.8 0 0.5 -- cgit v1.2.3