equal
deleted
inserted
replaced
15 |
15 |
16 #ifndef __WSPLUGINMANAGER_H__ |
16 #ifndef __WSPLUGINMANAGER_H__ |
17 #define __WSPLUGINMANAGER_H__ |
17 #define __WSPLUGINMANAGER_H__ |
18 |
18 |
19 #include <e32base.h> |
19 #include <e32base.h> |
20 #include "Graphics/WSPLUGIN.H" |
20 #include "graphics/WSPLUGIN.H" |
21 #include <Graphics/WSGRAPHICDRAWERINTERFACE.H> |
21 #include <graphics/WSGRAPHICDRAWERINTERFACE.H> |
22 |
22 |
23 /** |
23 /** |
24 The window server has a single plugin manager object, which maintains the set |
24 The window server has a single plugin manager object, which maintains the set |
25 of loaded plugins. |
25 of loaded plugins. |
26 */ |
26 */ |