1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-18 08:02:48 +00:00

o Fix flickering problem with GTK2.

o Bump PORTREVISION acrodingly.

PR:		ports/61661
Submitted by:	Palle Girgensohn <girgen@pingpong.net>
Obtained from:	http://www.monkey.org/openbsd/archive/ports/0308/msg00111.html
This commit is contained in:
Norikatsu Shigemura 2004-01-21 17:13:56 +00:00
parent d7f36c80c6
commit 7d9c6223fe
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=98705
4 changed files with 57 additions and 1 deletions

View File

@ -7,7 +7,7 @@
PORTNAME= windowmaker
PORTVERSION= 0.80.2
PORTREVISION= 1
PORTREVISION= 2
CATEGORIES= x11-wm windowmaker
MASTER_SITES= ${MASTER_SITE_WINDOWMAKER}
MASTER_SITE_SUBDIR= source/release

View File

@ -0,0 +1,26 @@
--- src/actions.c.orig Tue Jul 2 09:30:25 2002
+++ src/actions.c Thu Jan 22 01:45:57 2004
@@ -144,14 +144,22 @@ wSetFocusTo(WScreen *scr, WWindow *wwin
old_scr=scr;
old_focused=old_scr->focused_window;
+ /*
+ * Safeguard: make sure the timestamp is monotonically increasing
+ * (very unlikely that this will be needed, still a safeguard)
+ */
+ if (timestamp <= LastFocusChange)
+ timestamp = LastFocusChange + 1;
+
+
LastFocusChange = timestamp;
/*
* This is a hack, because XSetInputFocus() should have a proper
* timestamp instead of CurrentTime but it seems that some times
* clients will not receive focus properly that way.
+ */
if (ignoreTimestamp)
-*/
timestamp = CurrentTime;
if (old_focused)

View File

@ -0,0 +1,11 @@
--- src/event.c.orig Tue Jan 8 22:45:13 2002
+++ src/event.c Thu Jan 22 01:46:24 2004
@@ -402,8 +402,6 @@ handleDeadProcess(void *foo)
static void
saveTimestamp(XEvent *event)
{
- LastTimestamp = CurrentTime;
-
switch (event->type) {
case ButtonRelease:
case ButtonPress:

View File

@ -0,0 +1,19 @@
--- src/workspace.c.orig Tue Jan 8 22:45:33 2002
+++ src/workspace.c Thu Jan 22 01:47:49 2004
@@ -574,10 +574,12 @@ wWorkspaceForceChange(WScreen *scr, int
&foo, &foo, &foo, &foo, &mask)) {
tmp = wWindowFor(win);
}
- if (!tmp && wPreferences.focus_mode == WKF_SLOPPY) {
- wSetFocusTo(scr, foc);
- } else {
- wSetFocusTo(scr, tmp);
+ if (!tmp) {
+ if (wPreferences.focus_mode == WKF_SLOPPY) {
+ wSetFocusTo(scr, foc);
+ } else {
+ wSetFocusTo(scr, tmp);
+ }
}
}
}