X-Git-Url: https://git.saurik.com/wxWidgets.git/blobdiff_plain/aed8ac3f8954c07fb2dee3e2ba9ae02fa8890428..cfddeb10674cb1ce9255d02e862d72245c73c87f:/src/gtk/settings.cpp diff --git a/src/gtk/settings.cpp b/src/gtk/settings.cpp index 99894b71a2..ff3abce216 100644 --- a/src/gtk/settings.cpp +++ b/src/gtk/settings.cpp @@ -1,197 +1,617 @@ ///////////////////////////////////////////////////////////////////////////// -// Name: settings.cpp +// Name: src/gtk/settings.cpp // Purpose: // Author: Robert Roebling +// Modified by: Mart Raudsepp (GetMetric) // Id: $Id$ // Copyright: (c) 1998 Robert Roebling -// Licence: wxWindows licence +// Licence: wxWindows licence ///////////////////////////////////////////////////////////////////////////// +// For compilers that support precompilation, includes "wx.h". +#include "wx/wxprec.h" -#ifdef __GNUG__ -#pragma implementation "settings.h" +#include "wx/settings.h" + +#ifndef WX_PRECOMP + #include "wx/cmndata.h" + #include "wx/toplevel.h" #endif -#include "wx/settings.h" -#include "wx/debug.h" +#include "wx/fontutil.h" -#include +#include +#if GTK_CHECK_VERSION(2, 9, 0) + // gtk_object_sink + #undef GTK_DISABLE_DEPRECATED +#endif #include +#include -/* -#define wxSYS_COLOUR_SCROLLBAR 0 -#define wxSYS_COLOUR_BACKGROUND 1 -#define wxSYS_COLOUR_ACTIVECAPTION 2 -#define wxSYS_COLOUR_INACTIVECAPTION 3 -#define wxSYS_COLOUR_MENU 4 -#define wxSYS_COLOUR_WINDOW 5 -#define wxSYS_COLOUR_WINDOWFRAME 6 -#define wxSYS_COLOUR_MENUTEXT 7 -#define wxSYS_COLOUR_WINDOWTEXT 8 -#define wxSYS_COLOUR_CAPTIONTEXT 9 -#define wxSYS_COLOUR_ACTIVEBORDER 10 -#define wxSYS_COLOUR_INACTIVEBORDER 11 -#define wxSYS_COLOUR_APPWORKSPACE 12 -#define wxSYS_COLOUR_HIGHLIGHT 13 -#define wxSYS_COLOUR_HIGHLIGHTTEXT 14 -#define wxSYS_COLOUR_BTNFACE 15 -#define wxSYS_COLOUR_BTNSHADOW 16 -#define wxSYS_COLOUR_GRAYTEXT 17 -#define wxSYS_COLOUR_BTNTEXT 18 -#define wxSYS_COLOUR_INACTIVECAPTIONTEXT 19 -#define wxSYS_COLOUR_BTNHIGHLIGHT 20 - -#define wxSYS_COLOUR_3DDKSHADOW 21 -#define wxSYS_COLOUR_3DLIGHT 22 -#define wxSYS_COLOUR_INFOTEXT 23 -#define wxSYS_COLOUR_INFOBK 24 - -#define wxSYS_COLOUR_DESKTOP wxSYS_COLOUR_BACKGROUND -#define wxSYS_COLOUR_3DFACE wxSYS_COLOUR_BTNFACE -#define wxSYS_COLOUR_3DSHADOW wxSYS_COLOUR_BTNSHADOW -#define wxSYS_COLOUR_3DHIGHLIGHT wxSYS_COLOUR_BTNHIGHLIGHT -#define wxSYS_COLOUR_3DHILIGHT wxSYS_COLOUR_BTNHIGHLIGHT -#define wxSYS_COLOUR_BTNHILIGHT wxSYS_COLOUR_BTNHIGHLIGHT -*/ - -#define SHIFT (8*(sizeof(short int)-sizeof(char))) - -//wxColour *g_systemWinColour = (wxColour *) NULL; -wxColour *g_systemBtnFaceColour = (wxColour *) NULL; -wxColour *g_systemBtnShadowColour = (wxColour *) NULL; -wxColour *g_systemBtnHighlightColour = (wxColour *) NULL; -wxColour *g_systemHighlightColour = (wxColour *) NULL; - -wxFont *g_systemFont = (wxFont *) NULL; - -void wxSystemSettings::Done() +#include + +// ---------------------------------------------------------------------------- +// wxSystemObjects +// ---------------------------------------------------------------------------- + +struct wxSystemObjects { -// delete g_systemWinColour; - delete g_systemBtnFaceColour; - delete g_systemBtnShadowColour; - delete g_systemBtnHighlightColour; - delete g_systemHighlightColour; - delete g_systemFont; -} + wxColour m_colBtnFace, + m_colBtnShadow, + m_colBtnHighlight, + m_colHighlight, + m_colHighlightText, + m_colListBox, + m_colBtnText, + m_colMenuItemHighlight, + m_colTooltip, + m_colTooltipText; -wxColour wxSystemSettings::GetSystemColour( int index ) + wxFont m_fontSystem; +}; + +static wxSystemObjects gs_objects; + +// ---------------------------------------------------------------------------- +// wxSystemSettings implementation +// ---------------------------------------------------------------------------- + +// kind of widget to use in GetColourFromGTKWidget +enum wxGtkWidgetType { - switch (index) - { - case wxSYS_COLOUR_SCROLLBAR: - case wxSYS_COLOUR_BACKGROUND: - case wxSYS_COLOUR_ACTIVECAPTION: - case wxSYS_COLOUR_INACTIVECAPTION: - case wxSYS_COLOUR_MENU: - case wxSYS_COLOUR_WINDOWFRAME: - case wxSYS_COLOUR_ACTIVEBORDER: - case wxSYS_COLOUR_INACTIVEBORDER: - case wxSYS_COLOUR_BTNFACE: - { - if (!g_systemBtnFaceColour) - { - g_systemBtnFaceColour = - new wxColour( 0xd6d6 >> SHIFT, - 0xd6d6 >> SHIFT, - 0xd6d6 >> SHIFT ); - } - return *g_systemBtnFaceColour; - } - case wxSYS_COLOUR_WINDOW: - { - return *wxWHITE; - } - case wxSYS_COLOUR_GRAYTEXT: - case wxSYS_COLOUR_BTNSHADOW: - { - if (!g_systemBtnShadowColour) - { - g_systemBtnShadowColour = - new wxColour( 0x7530 >> SHIFT, - 0x7530 >> SHIFT, - 0x7530 >> SHIFT ); - } - return *g_systemBtnShadowColour; - } - case wxSYS_COLOUR_BTNHIGHLIGHT: - { - if (!g_systemBtnHighlightColour) - { - g_systemBtnHighlightColour = - new wxColour( 0xea60 >> SHIFT, - 0xea60 >> SHIFT, - 0xea60 >> SHIFT ); - } - return *g_systemBtnHighlightColour; - } - case wxSYS_COLOUR_HIGHLIGHT: + wxGTK_BUTTON, + wxGTK_LIST, + wxGTK_MENUITEM +}; + +// the colour we need +enum wxGtkColourType +{ + wxGTK_FG, + wxGTK_BG, + wxGTK_BASE +}; + +// wxSystemSettings::GetColour() helper: get the colours from a GTK+ +// widget style, return true if we did get them +static bool GetColourFromGTKWidget(GdkColor& gdkColor, + wxGtkWidgetType type = wxGTK_BUTTON, + GtkStateType state = GTK_STATE_NORMAL, + wxGtkColourType colour = wxGTK_BG) +{ + GtkWidget *widget; + switch ( type ) { - if (!g_systemHighlightColour) - { - g_systemHighlightColour = - new wxColour( 0 >> SHIFT, - 0 >> SHIFT, - 0x9c40 >> SHIFT ); - } - return *g_systemHighlightColour; + default: + wxFAIL_MSG( _T("unexpected GTK widget type") ); + // fall through + + case wxGTK_BUTTON: + widget = gtk_button_new(); + break; + + case wxGTK_LIST: + widget = gtk_tree_view_new_with_model( + (GtkTreeModel*)gtk_list_store_new(1, G_TYPE_INT)); + break; + + case wxGTK_MENUITEM: + widget = gtk_menu_item_new(); } - case wxSYS_COLOUR_MENUTEXT: - case wxSYS_COLOUR_WINDOWTEXT: - case wxSYS_COLOUR_CAPTIONTEXT: - case wxSYS_COLOUR_INACTIVECAPTIONTEXT: - case wxSYS_COLOUR_BTNTEXT: - case wxSYS_COLOUR_INFOTEXT: + + GtkStyle *def = gtk_rc_get_style( widget ); + if ( !def ) + def = gtk_widget_get_default_style(); + + const bool ok = def != NULL; + if (ok) { - return *wxBLACK; + switch ( colour ) + { + default: + wxFAIL_MSG( _T("unexpected GTK colour type") ); + // fall through + + case wxGTK_FG: + gdkColor = def->fg[state]; + break; + + case wxGTK_BG: + gdkColor = def->bg[state]; + break; + + case wxGTK_BASE: + gdkColor = def->base[state]; + break; + } } - case wxSYS_COLOUR_HIGHLIGHTTEXT: + + gtk_widget_destroy( widget ); + + return ok; +} + +static void GetTooltipColors() +{ + GtkTooltips* tooltips = gtk_tooltips_new(); + gtk_tooltips_force_window(tooltips); + gtk_widget_ensure_style(tooltips->tip_window); + GdkColor c = tooltips->tip_window->style->bg[GTK_STATE_NORMAL]; + gs_objects.m_colTooltip = wxColor(c); + c = tooltips->tip_window->style->fg[GTK_STATE_NORMAL]; + gs_objects.m_colTooltipText = wxColor(c); +#if GTK_CHECK_VERSION(2, 9, 0) + if (gtk_check_version(2, 9, 0) == NULL) + g_object_ref_sink(tooltips); + else +#endif { - return *wxWHITE; + gtk_object_sink((GtkObject*)tooltips); } - case wxSYS_COLOUR_INFOBK: - case wxSYS_COLOUR_APPWORKSPACE: +} + +wxColour wxSystemSettingsNative::GetColour( wxSystemColour index ) +{ + wxColor color; + GdkColor gdkColor; + switch (index) { - return *wxWHITE; // ? + case wxSYS_COLOUR_SCROLLBAR: + case wxSYS_COLOUR_BACKGROUND: + case wxSYS_COLOUR_INACTIVECAPTION: + case wxSYS_COLOUR_MENU: + case wxSYS_COLOUR_WINDOWFRAME: + case wxSYS_COLOUR_ACTIVEBORDER: + case wxSYS_COLOUR_INACTIVEBORDER: + case wxSYS_COLOUR_BTNFACE: + case wxSYS_COLOUR_MENUBAR: + case wxSYS_COLOUR_3DLIGHT: + if (!gs_objects.m_colBtnFace.Ok()) + { + gdkColor.red = + gdkColor.green = 0; + gdkColor.blue = 0x9c40; + GetColourFromGTKWidget(gdkColor); + gs_objects.m_colBtnFace = wxColor(gdkColor); + } + color = gs_objects.m_colBtnFace; + break; + + case wxSYS_COLOUR_WINDOW: + color = *wxWHITE; + break; + + case wxSYS_COLOUR_3DDKSHADOW: + color = *wxBLACK; + break; + + case wxSYS_COLOUR_GRAYTEXT: + case wxSYS_COLOUR_BTNSHADOW: + //case wxSYS_COLOUR_3DSHADOW: + if (!gs_objects.m_colBtnShadow.Ok()) + { + wxColour faceColour(GetColour(wxSYS_COLOUR_3DFACE)); + gs_objects.m_colBtnShadow = + wxColour((unsigned char) (faceColour.Red() * 2 / 3), + (unsigned char) (faceColour.Green() * 2 / 3), + (unsigned char) (faceColour.Blue() * 2 / 3)); + } + color = gs_objects.m_colBtnShadow; + break; + + case wxSYS_COLOUR_3DHIGHLIGHT: + //case wxSYS_COLOUR_BTNHIGHLIGHT: + color = *wxWHITE; + break; + + case wxSYS_COLOUR_HIGHLIGHT: + if (!gs_objects.m_colHighlight.Ok()) + { + gdkColor.red = + gdkColor.green = 0; + gdkColor.blue = 0x9c40; + GetColourFromGTKWidget( + gdkColor, wxGTK_BUTTON, GTK_STATE_SELECTED); + gs_objects.m_colHighlight = wxColour(gdkColor); + } + color = gs_objects.m_colHighlight; + break; + + case wxSYS_COLOUR_LISTBOX: + if (!gs_objects.m_colListBox.Ok()) + { + if ( GetColourFromGTKWidget(gdkColor, + wxGTK_LIST, + GTK_STATE_NORMAL, + wxGTK_BASE) ) + { + gs_objects.m_colListBox = wxColour(gdkColor); + } + else + { + gs_objects.m_colListBox = *wxWHITE; + } + } + color = gs_objects.m_colListBox; + break; + + case wxSYS_COLOUR_MENUTEXT: + case wxSYS_COLOUR_WINDOWTEXT: + case wxSYS_COLOUR_CAPTIONTEXT: + case wxSYS_COLOUR_INACTIVECAPTIONTEXT: + case wxSYS_COLOUR_BTNTEXT: + if (!gs_objects.m_colBtnText.Ok()) + { + gdkColor.red = + gdkColor.green = + gdkColor.blue = 0; + GetColourFromGTKWidget( + gdkColor, wxGTK_BUTTON, GTK_STATE_NORMAL, wxGTK_FG); + gs_objects.m_colBtnText = wxColour(gdkColor); + } + color = gs_objects.m_colBtnText; + break; + + case wxSYS_COLOUR_INFOBK: + if (!gs_objects.m_colTooltip.Ok()) { + GetTooltipColors(); + } + color = gs_objects.m_colTooltip; + break; + + case wxSYS_COLOUR_INFOTEXT: + if (!gs_objects.m_colTooltipText.Ok()) { + GetTooltipColors(); + } + color = gs_objects.m_colTooltipText; + break; + + case wxSYS_COLOUR_HIGHLIGHTTEXT: + if (!gs_objects.m_colHighlightText.Ok()) + { + wxColour hclr = GetColour(wxSYS_COLOUR_HIGHLIGHT); + if (hclr.Red() > 200 && hclr.Green() > 200 && hclr.Blue() > 200) + gs_objects.m_colHighlightText = *wxBLACK; + else + gs_objects.m_colHighlightText = *wxWHITE; + } + color = gs_objects.m_colHighlightText; + break; + + case wxSYS_COLOUR_APPWORKSPACE: + color = *wxWHITE; // ? + break; + + case wxSYS_COLOUR_ACTIVECAPTION: + case wxSYS_COLOUR_MENUHILIGHT: + if (!gs_objects.m_colMenuItemHighlight.Ok()) + { + gdkColor.red = + gdkColor.green = + gdkColor.blue = 0; + GetColourFromGTKWidget( + gdkColor, wxGTK_MENUITEM, GTK_STATE_SELECTED, wxGTK_BG); + gs_objects.m_colMenuItemHighlight = wxColour(gdkColor); + } + color = gs_objects.m_colMenuItemHighlight; + break; + + case wxSYS_COLOUR_HOTLIGHT: + case wxSYS_COLOUR_GRADIENTACTIVECAPTION: + case wxSYS_COLOUR_GRADIENTINACTIVECAPTION: + // TODO + color = *wxBLACK; + break; + + case wxSYS_COLOUR_MAX: + default: + wxFAIL_MSG( _T("unknown system colour index") ); + color = *wxWHITE; + break; } - } - return *wxWHITE; + + return color; } -wxFont wxSystemSettings::GetSystemFont( int index ) +wxFont wxSystemSettingsNative::GetFont( wxSystemFont index ) { + wxFont font; switch (index) { case wxSYS_OEM_FIXED_FONT: case wxSYS_ANSI_FIXED_FONT: case wxSYS_SYSTEM_FIXED_FONT: - { - return *wxNORMAL_FONT; - } + font = *wxNORMAL_FONT; + break; + 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; - } + if (!gs_objects.m_fontSystem.Ok()) + { + GtkWidget *widget = gtk_button_new(); + GtkStyle *def = gtk_rc_get_style( widget ); + if ( !def || !def->font_desc ) + def = gtk_widget_get_default_style(); + if ( def && def->font_desc ) + { + wxNativeFontInfo info; + info.description = + pango_font_description_copy(def->font_desc); + gs_objects.m_fontSystem = wxFont(info); + } + else + { + GtkSettings *settings = gtk_settings_get_default(); + gchar *font_name = NULL; + g_object_get ( settings, + "gtk-font-name", + &font_name, + NULL); + if (!font_name) + gs_objects.m_fontSystem = wxFont( 12, wxSWISS, wxNORMAL, wxNORMAL ); + else + gs_objects.m_fontSystem = wxFont(wxString::FromAscii(font_name)); + g_free (font_name); + } + gtk_widget_destroy( widget ); + } + font = gs_objects.m_fontSystem; + break; + + default: + break; } + return font; +} - return wxNullFont; +static bool wxXGetWindowProperty(GdkWindow* window, Atom& type, int& format, gulong& nitems, guchar*& data) +{ + bool success = false; +#if GTK_CHECK_VERSION(2, 2, 0) + if (gtk_check_version(2, 2, 0) == NULL) + { + gulong bytes_after; + success = XGetWindowProperty( + GDK_DISPLAY_XDISPLAY(gdk_drawable_get_display(window)), + GDK_WINDOW_XWINDOW(window), + gdk_x11_get_xatom_by_name_for_display( + gdk_drawable_get_display(window), + "_NET_FRAME_EXTENTS"), + 0, // left, right, top, bottom, CARDINAL[4]/32 + G_MAXLONG, // size of long + false, // do not delete property + XA_CARDINAL, // 32 bit + &type, &format, &nitems, &bytes_after, &data + ) == Success; + } +#endif + return success; } -int wxSystemSettings::GetSystemMetric( int index ) +int wxSystemSettingsNative::GetMetric( wxSystemMetric index, wxWindow* win ) { + guchar *data = NULL; + Atom type; + int format; + gulong nitems; + GdkWindow *window = NULL; + if(win && GTK_WIDGET_REALIZED(win->GetHandle())) + window = win->GetHandle()->window; + switch (index) { - case wxSYS_SCREEN_X: return gdk_screen_width(); - case wxSYS_SCREEN_Y: return gdk_screen_height(); + case wxSYS_BORDER_X: + case wxSYS_BORDER_Y: + case wxSYS_EDGE_X: + case wxSYS_EDGE_Y: + case wxSYS_FRAMESIZE_X: + case wxSYS_FRAMESIZE_Y: + // If a window is specified/realized, and it is a toplevel window, we can query from wm. + // The returned border thickness is outside the client area in that case. + if (window) + { + wxTopLevelWindow *tlw = wxDynamicCast(win, wxTopLevelWindow); + if (!tlw) + return -1; // not a tlw, not sure how to approach + else + { + // Check if wm supports frame extents - we can't know + // the border widths if it does not. +#if GTK_CHECK_VERSION(2,2,0) + if (!gtk_check_version(2,2,0)) + { + if (!gdk_x11_screen_supports_net_wm_hint( + gdk_drawable_get_screen(window), + gdk_atom_intern("_NET_FRAME_EXTENTS", false) ) ) + return -1; + } + else +#endif + { + if (!gdk_net_wm_supports(gdk_atom_intern("_NET_FRAME_EXTENTS", false))) + return -1; + } + + // Get the frame extents from the windowmanager. + // In most cases the top extent is the titlebar, so we use the bottom extent + // for the heights. + if (wxXGetWindowProperty(window, type, format, nitems, data)) + { + int border_return = -1; + + if ((type == XA_CARDINAL) && (format == 32) && (nitems >= 4) && (data)) + { + switch(index) + { + case wxSYS_BORDER_X: + case wxSYS_EDGE_X: + case wxSYS_FRAMESIZE_X: + border_return = int(data[1]); // width of right extent + break; + default: + border_return = int(data[3]); // height of bottom extent + break; + } + } + + if (data) + XFree(data); + + return border_return; + } + } + } + + return -1; // no window specified + + case wxSYS_CURSOR_X: + case wxSYS_CURSOR_Y: +#ifdef __WXGTK24__ + if (!gtk_check_version(2,4,0)) + { + if (window) + return gdk_display_get_default_cursor_size(gdk_drawable_get_display(window)); + else + return gdk_display_get_default_cursor_size(gdk_display_get_default()); + } + else +#endif + return 16; + + case wxSYS_DCLICK_X: + case wxSYS_DCLICK_Y: + gint dclick_distance; +#if GTK_CHECK_VERSION(2,2,0) + if (window && !gtk_check_version(2,2,0)) + g_object_get(gtk_settings_get_for_screen(gdk_drawable_get_screen(window)), + "gtk-double-click-distance", &dclick_distance, NULL); + else +#endif + g_object_get(gtk_settings_get_default(), + "gtk-double-click-distance", &dclick_distance, NULL); + + return dclick_distance * 2; + + case wxSYS_DRAG_X: + case wxSYS_DRAG_Y: + gint drag_threshold; +#if GTK_CHECK_VERSION(2,2,0) + if (window && !gtk_check_version(2,2,0)) + { + g_object_get( + gtk_settings_get_for_screen(gdk_drawable_get_screen(window)), + "gtk-dnd-drag-threshold", + &drag_threshold, NULL); + } + else +#endif + { + g_object_get(gtk_settings_get_default(), + "gtk-dnd-drag-threshold", &drag_threshold, NULL); + } + + // The correct thing here would be to double the value + // since that is what the API wants. But the values + // are much bigger under GNOME than under Windows and + // just seem to much in many cases to be useful. + // drag_threshold *= 2; + + return drag_threshold; + + // MBN: ditto for icons + case wxSYS_ICON_X: return 32; + case wxSYS_ICON_Y: return 32; + + case wxSYS_SCREEN_X: +#if GTK_CHECK_VERSION(2,2,0) + if (window && !gtk_check_version(2,2,0)) + return gdk_screen_get_width(gdk_drawable_get_screen(window)); + else +#endif + return gdk_screen_width(); + + case wxSYS_SCREEN_Y: +#if GTK_CHECK_VERSION(2,2,0) + if (window && !gtk_check_version(2,2,0)) + return gdk_screen_get_height(gdk_drawable_get_screen(window)); + else +#endif + return gdk_screen_height(); + case wxSYS_HSCROLL_Y: return 15; case wxSYS_VSCROLL_X: return 15; + + case wxSYS_CAPTION_Y: + if (!window) + // No realized window specified, and no implementation for that case yet. + return -1; + + // Check if wm supports frame extents - we can't know the caption height if it does not. +#if GTK_CHECK_VERSION(2,2,0) + if (!gtk_check_version(2,2,0)) + { + if (!gdk_x11_screen_supports_net_wm_hint( + gdk_drawable_get_screen(window), + gdk_atom_intern("_NET_FRAME_EXTENTS", false) ) ) + return -1; + } + else +#endif + { + if (!gdk_net_wm_supports(gdk_atom_intern("_NET_FRAME_EXTENTS", false))) + return -1; + } + + wxASSERT_MSG( wxDynamicCast(win, wxTopLevelWindow), + wxT("Asking for caption height of a non toplevel window") ); + + // Get the height of the top windowmanager border. + // This is the titlebar in most cases. The titlebar might be elsewhere, and + // we could check which is the thickest wm border to decide on which side the + // titlebar is, but this might lead to interesting behaviours in used code. + // Reconsider when we have a way to report to the user on which side it is. + if (wxXGetWindowProperty(window, type, format, nitems, data)) + { + int caption_height = -1; + + if ((type == XA_CARDINAL) && (format == 32) && (nitems >= 3) && (data)) + { + caption_height = int(data[2]); // top frame extent + } + + if (data) + XFree(data); + + return caption_height; + } + + // Try a default approach without a window pointer, if possible + // ... + + return -1; + + case wxSYS_PENWINDOWS_PRESENT: + // No MS Windows for Pen computing extension available in X11 based gtk+. + return 0; + + default: + return -1; // metric is unknown + } +} + +bool wxSystemSettingsNative::HasFeature(wxSystemFeature index) +{ + switch (index) + { + case wxSYS_CAN_ICONIZE_FRAME: + return false; + + case wxSYS_CAN_DRAW_FRAME_DECORATIONS: + return true; + + default: + return false; } - - wxCHECK_MSG( index, 0, wxT("wxSystemSettings::GetSystemMetric not fully implemented") ); - - return 0; }