[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