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
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
|
#ifndef _BORDER_H_
#define _BORDER_H_
#include "General.h"
#include "Rotated.h"
class Client;
class WindowManager;
// These distances exclude the 1-pixel borders. You could probably
// change these a certain amount before breaking the shoddy code in
// the rest of this file.
#define TAB_TOP_HEIGHT 2
#define FRAME_WIDTH CONFIG_FRAME_THICKNESS
#define TRANSIENT_FRAME_WIDTH 4
// NB frameTopHeight = frameHeight-tabTopHeight
class Border { // friend of client
public:
Border(Client *const, Window child);
~Border();
void map();
void unmap();
void lower();
void mapRaised();
void decorate(Boolean active, int w, int h);
void reparent();
void configure(int x, int y, int w, int h, unsigned long mask, int detail,
Boolean force = False);
void moveTo(int x, int y);
WindowManager *windowManager(); // calls into Client
Boolean isTransient(); // calls into Client
Boolean isFixedSize(); // calls into Client
Window parent() { return m_parent; }
Boolean hasWindow(Window w) {
return (w != root() && (w == m_parent || w == m_tab ||
w == m_button || w == m_resize));
}
Display *display();
Window root();
void expose(XExposeEvent *);
void eventButton(XButtonEvent *); // in Buttons.C
int yIndent() {
return isTransient() ? TRANSIENT_FRAME_WIDTH + 1 : FRAME_WIDTH + 1;
}
int xIndent() {
return isTransient() ? TRANSIENT_FRAME_WIDTH + 1 :
m_tabWidth + FRAME_WIDTH + 1;
}
Boolean coordsInHole(int, int); // in Events.C of all places
private:
Client *m_client;
Window m_parent;
Window m_tab;
Window m_child;
Window m_button;
Window m_resize;
void fatal(char *);
char *m_label;
void fixTabHeight(int);
void drawLabel();
void setFrameVisibility(Boolean, int, int);
void setTransientFrameVisibility(Boolean, int, int);
void shapeParent(int, int);
void shapeTransientParent(int, int);
void shapeTab(int, int);
void resizeTab(int); // for rename without changing window size
void shapeResize();
int m_prevW;
int m_prevH;
private:
int m_tabHeight; // depends on the label
static int m_tabWidth; // depends on the label font
static XRotFontStruct *m_tabFont;
static GC m_drawGC;
static unsigned long m_foregroundPixel;
static unsigned long m_backgroundPixel;
static unsigned long m_frameBackgroundPixel;
static unsigned long m_buttonBackgroundPixel;
static unsigned long m_borderPixel;
};
#endif
|
