/usr/include/gwenhywfar4/gwen-gui-fox16/fox16_htmlctx.hpp is in libgwengui-fox16-dev 4.20.0-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 | /***************************************************************************
begin : Mon Feb 22 2010
copyright : (C) 2010 by Martin Preuss
email : martin@libchipcard.de
***************************************************************************
* Please see toplevel file COPYING for license details *
***************************************************************************/
#ifndef FOX16_HTMLCTX_HPP
#define FOX16_HTMLCTX_HPP
#include <gwen-gui-fox16/fox16_gui.hpp>
#include <gwenhywfar/htmlobject_be.h>
#include <gwenhywfar/htmlfont_be.h>
#include <gwenhywfar/htmlctx_be.h>
#include <fx.h>
class FOX16GUI_API FOX16_HtmlCtx {
friend class FOX16_HtmlCtxLinker;
public:
FOX16_HtmlCtx(uint32_t flags);
~FOX16_HtmlCtx();
void setText(const char *s);
int getWidth();
int getHeight();
HTML_FONT *getFont(const char *fontName,
int fontSize,
uint32_t fontFlags);
HTML_IMAGE *getImage(const char *imageName);
void addMediaPath(const char *s);
int layout(int width, int height);
void dump();
void paint(FXDC *dc, int xOffset, int yOffset);
void paintAt(FXDC *dc,
int xOffset, int yOffset,
int xText, int yText,
int w, int h);
void setBackgroundColor(FXColor c);
void setForegroundColor(FXColor c);
protected:
GWEN_XML_CONTEXT *_context;
FXFont *_font;
FXColor _fgColor;
FXColor _bgColor;
FXIconSource *m_iconSource;
FXFont *_getFoxFont(HTML_FONT *fnt);
void _paint(FXDC *dc, HTML_OBJECT *o, int xOffset, int yOffset);
void _paintAt(FXDC *dc, HTML_OBJECT *o,
int xOffset, int yOffset,
int xText, int yText,
int w, int h);
int getTextWidth(HTML_FONT *fnt,
const char *s);
int getTextHeight(HTML_FONT *fnt,
const char *s);
uint32_t getColorFromName(const char *name);
};
#endif
|