forked from Mirrors/openclonk
50 lines
1.3 KiB
C++
50 lines
1.3 KiB
C++
/*
|
|
* OpenClonk, http://www.openclonk.org
|
|
*
|
|
* Copyright (c) 2001-2009, RedWolf Design GmbH, http://www.clonk.de/
|
|
* Copyright (c) 2013-2016, The OpenClonk Team and contributors
|
|
*
|
|
* Distributed under the terms of the ISC license; see accompanying file
|
|
* "COPYING" for details.
|
|
*
|
|
* "Clonk" is a registered trademark of Matthes Bender, used with permission.
|
|
* See accompanying file "TRADEMARK" for details.
|
|
*
|
|
* To redistribute this file separately, substitute the full license texts
|
|
* for the above references.
|
|
*/
|
|
|
|
/* Common window for drawing and property tool dialogs in console mode */
|
|
|
|
#ifndef INC_C4DevmodeDlg
|
|
#define INC_C4DevmodeDlg
|
|
|
|
#ifdef USE_GTK
|
|
#include <gtk/gtk.h>
|
|
#endif // USE_GTK
|
|
|
|
// TODO: Threadsafety?
|
|
class C4DevmodeDlg
|
|
{
|
|
// Make sure all developer tools are held in the same window
|
|
#ifdef USE_GTK
|
|
private:
|
|
static GtkWidget* window;
|
|
static GtkWidget* notebook;
|
|
|
|
static int x, y;
|
|
|
|
static void OnDestroy(GtkWidget* widget, gpointer user_data);
|
|
|
|
public:
|
|
static GtkWidget* GetWindow() { return window; }
|
|
static void AddPage(GtkWidget* widget, GtkWindow* parent, const char* title);
|
|
static void RemovePage(GtkWidget* widget);
|
|
static void SwitchPage(GtkWidget* widget);
|
|
|
|
static void SetTitle(GtkWidget* widget, const char* title);
|
|
#endif // USE_GTK
|
|
};
|
|
|
|
#endif //INC_C4DevmodeDlg
|