2012-01-06 04:12:57 +00:00
|
|
|
// ASEPRITE gui library
|
2013-01-27 15:13:13 +00:00
|
|
|
// Copyright (C) 2001-2013 David Capello
|
2010-09-27 22:18:17 +00:00
|
|
|
//
|
2012-09-24 02:24:07 +00:00
|
|
|
// This source file is distributed under a BSD-like license, please
|
2010-09-27 22:18:17 +00:00
|
|
|
// read LICENSE.txt for more information.
|
2007-09-18 23:57:02 +00:00
|
|
|
|
2009-07-12 20:29:16 +00:00
|
|
|
#include "config.h"
|
|
|
|
|
2012-06-18 01:49:58 +00:00
|
|
|
#include "ui/manager.h"
|
|
|
|
#include "ui/theme.h"
|
|
|
|
#include "ui/widget.h"
|
2012-07-09 02:24:42 +00:00
|
|
|
#include "ui/window.h"
|
2007-09-18 23:57:02 +00:00
|
|
|
|
2012-06-16 02:37:59 +00:00
|
|
|
#include <list>
|
|
|
|
|
2012-06-18 01:02:54 +00:00
|
|
|
namespace ui {
|
|
|
|
|
2012-06-16 02:37:59 +00:00
|
|
|
static std::list<Widget*>* widgets;
|
2009-08-05 01:53:02 +00:00
|
|
|
|
|
|
|
int _ji_widgets_init()
|
|
|
|
{
|
2012-06-16 02:37:59 +00:00
|
|
|
widgets = new std::list<Widget*>;
|
2009-08-05 01:53:02 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
void _ji_widgets_exit()
|
|
|
|
{
|
|
|
|
delete widgets;
|
|
|
|
}
|
2007-09-18 23:57:02 +00:00
|
|
|
|
2012-06-16 02:37:59 +00:00
|
|
|
void _ji_add_widget(Widget* widget)
|
2007-09-18 23:57:02 +00:00
|
|
|
{
|
2012-06-16 02:37:59 +00:00
|
|
|
widgets->push_back(widget);
|
2007-09-18 23:57:02 +00:00
|
|
|
}
|
|
|
|
|
2012-06-16 02:37:59 +00:00
|
|
|
void _ji_remove_widget(Widget* widget)
|
2007-09-18 23:57:02 +00:00
|
|
|
{
|
2012-06-16 02:37:59 +00:00
|
|
|
std::list<Widget*>::iterator it =
|
|
|
|
std::find(widgets->begin(), widgets->end(), widget);
|
2007-09-18 23:57:02 +00:00
|
|
|
|
2012-06-16 02:37:59 +00:00
|
|
|
if (it != widgets->end())
|
|
|
|
widgets->erase(it);
|
2007-09-18 23:57:02 +00:00
|
|
|
}
|
|
|
|
|
2010-03-09 02:43:28 +00:00
|
|
|
void _ji_set_font_of_all_widgets(FONT* f)
|
2007-09-18 23:57:02 +00:00
|
|
|
{
|
2012-06-16 02:37:59 +00:00
|
|
|
for (std::list<Widget*>::iterator it=widgets->begin(), end=widgets->end();
|
|
|
|
it != end; ++it) {
|
|
|
|
(*it)->setFont(f);
|
|
|
|
}
|
2010-03-09 02:43:28 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void _ji_reinit_theme_in_all_widgets()
|
|
|
|
{
|
2012-06-16 02:37:59 +00:00
|
|
|
// Reinitialize the theme of each widget
|
|
|
|
for (std::list<Widget*>::iterator it=widgets->begin(), end=widgets->end();
|
|
|
|
it != end; ++it) {
|
|
|
|
(*it)->setTheme(CurrentTheme::get());
|
|
|
|
(*it)->initTheme();
|
2010-03-09 02:43:28 +00:00
|
|
|
}
|
2007-09-18 23:57:02 +00:00
|
|
|
|
2010-03-09 02:43:28 +00:00
|
|
|
// Remap the windows
|
2012-06-16 02:37:59 +00:00
|
|
|
for (std::list<Widget*>::iterator it=widgets->begin(), end=widgets->end();
|
|
|
|
it != end; ++it) {
|
2012-07-09 02:24:42 +00:00
|
|
|
if ((*it)->type == JI_WINDOW)
|
2013-01-11 15:43:25 +00:00
|
|
|
static_cast<Window*>(*it)->remapWindow();
|
2012-06-16 02:37:59 +00:00
|
|
|
}
|
2007-09-18 23:57:02 +00:00
|
|
|
|
2012-04-15 18:21:24 +00:00
|
|
|
// Redraw the whole screen
|
2012-06-18 01:02:54 +00:00
|
|
|
Manager::getDefault()->invalidate();
|
2007-09-18 23:57:02 +00:00
|
|
|
}
|
2012-06-18 01:02:54 +00:00
|
|
|
|
|
|
|
} // namespace ui
|