[Bug 70282] editor does not scroll with page-up/down keys, works when mouse operates slider
Jens Dagerbo
jens.dagerbo at swipnet.se
Thu Mar 25 14:18:05 UTC 2004
------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
http://bugs.kde.org/show_bug.cgi?id=70282
jens.dagerbo swipnet se changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
------- Additional Comments From jens.dagerbo swipnet se 2004-03-25 14:19 -------
CVS commit by dagerbo:
Clever workarounds that cause more problems than they solve are a Bad Idea (tm)
CCMAIL: 70282-done bugs kde org
M +5 -3 kmdimainfrm.cpp 1.59
--- kdelibs/kmdi/kmdimainfrm.cpp #1.58:1.59
@ -2492,7 +2492,7 @ void KMdiMainFrm::setActiveToolDock(KMdi
if (d->activeDockPriority[0]==0) {
d->activeDockPriority[0]=td;
- d->focusList=new KMdiFocusList(this);
- if (m_pMdi) d->focusList->addWidgetTree(m_pMdi);
- if (m_documentTabWidget) d->focusList->addWidgetTree(m_documentTabWidget);
+// d->focusList=new KMdiFocusList(this);
+// if (m_pMdi) d->focusList->addWidgetTree(m_pMdi);
+// if (m_documentTabWidget) d->focusList->addWidgetTree(m_documentTabWidget);
return;
}
@ -2515,4 +2515,5 @ void KMdiMainFrm::removeFromActiveDockLi
}
}
+/*
if (d->activeDockPriority[0]==0) {
if (d->focusList) d->focusList->restore();
@ -2520,4 +2521,5 @ void KMdiMainFrm::removeFromActiveDockLi
d->focusList=0;
}
+*/
}
More information about the KDevelop-devel
mailing list