#endif
#include "wx/settings.h"
+#include "wx/debug.h"
+
+#include "gdk/gdk.h"
+#include "gtk/gtk.h"
/*
#define wxSYS_COLOUR_SCROLLBAR 0
wxFont *g_systemFont = (wxFont *) NULL;
-void wxSystemSettings::Done() {
- wxDELETE(g_systemBtnFaceColour);
- wxDELETE(g_systemBtnShadowColour);
- wxDELETE(g_systemBtnHighlightColour);
- wxDELETE(g_systemHighlightColour);
- wxDELETE(g_systemFont);
+void wxSystemSettings::Done()
+{
+ wxDELETE(g_systemBtnFaceColour);
+ wxDELETE(g_systemBtnShadowColour);
+ wxDELETE(g_systemBtnHighlightColour);
+ wxDELETE(g_systemHighlightColour);
+ wxDELETE(g_systemFont);
}
wxColour wxSystemSettings::GetSystemColour( int index )
wxFont wxSystemSettings::GetSystemFont( int index )
{
- switch (index)
- {
- case wxSYS_OEM_FIXED_FONT:
- case wxSYS_ANSI_FIXED_FONT:
- case wxSYS_SYSTEM_FIXED_FONT:
- {
- return *wxNORMAL_FONT;
- }
- case wxSYS_ANSI_VAR_FONT:
- case wxSYS_SYSTEM_FONT:
- case wxSYS_DEVICE_DEFAULT_FONT:
- case wxSYS_DEFAULT_GUI_FONT:
+ switch (index)
{
- if (!g_systemFont)
- g_systemFont = new wxFont( 10, wxSWISS, wxNORMAL, wxNORMAL );
- return *g_systemFont;
+ case wxSYS_OEM_FIXED_FONT:
+ case wxSYS_ANSI_FIXED_FONT:
+ case wxSYS_SYSTEM_FIXED_FONT:
+ {
+ return *wxNORMAL_FONT;
+ }
+ case wxSYS_ANSI_VAR_FONT:
+ case wxSYS_SYSTEM_FONT:
+ case wxSYS_DEVICE_DEFAULT_FONT:
+ case wxSYS_DEFAULT_GUI_FONT:
+ {
+ if (!g_systemFont)
+ g_systemFont = new wxFont( 12, wxSWISS, wxNORMAL, wxNORMAL );
+ return *g_systemFont;
+ }
}
- }
- return wxNullFont;
+ return wxNullFont;
}
int wxSystemSettings::GetSystemMetric( int index )
{
- switch (index)
- {
- case wxSYS_SCREEN_X:
- return gdk_screen_width();
- case wxSYS_SCREEN_Y:
- return gdk_screen_height();
- }
- return 0;
+ switch (index)
+ {
+ case wxSYS_SCREEN_X: return gdk_screen_width();
+ case wxSYS_SCREEN_Y: return gdk_screen_height();
+ case wxSYS_HSCROLL_Y: return 15;
+ case wxSYS_VSCROLL_X: return 15;
+ }
+
+ wxCHECK_MSG( index, 0, "wxSystemSettings::GetSystemMetric not fully implemented" );
+
+ return 0;
}