<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"><html xmlns="http://www.w3.org/1999/xhtml">
 <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type"/>
 </head>
 <body>
  <p style="margin: 0pt;">
   <span>
    <span></span>
   </span>
  </p>
  <p style="margin: 0px; "></p>
  <div style="margin: 5px 0px;">
   <br/>
   Mattias Gaertner <nc-gaertnma@netcologne.de> hat am 15. Februar 2012 um 15:26 geschrieben:
   <br/>
   <br/>
   <div style="position: relative;">
    <blockquote style="margin-left: 0px; padding-left: 10px; border-left: 1px solid blue;">
     <p style="margin: 0pt;"> </p>
     <p style="margin: 0px;"> </p>
     <div style="margin: 5px 0px;">
      <br/>
      michael.vancanneyt@wisa.be hat am 15. Februar 2012 um 12:17 geschrieben:
      <br/>
      <br/>
      >[...]
      <br/>
      > > Though it was bearable as I moved my Android development to my rather
      <br/>
      > > powerful machine (because JVM compilation is rather slow and also blocks my
      <br/>
      > > single core main computer -.- ) and used it through X11 forwarding...
      <br/>
      >
      <br/>
      > My PC is an 4-core machine ?
      <br/>
      > It should be able to handle this with its fingers up its nose, I would think...
      <br/>
      >
      <br/>
      > It's clearly an issue in drawing, because the code completion seems to work
      <br/>
      > fine.
     </div>
     <p style="margin: 0px;"> </p>
     <p style="margin: 0px;">No, here the codetools and synedit are fast with the android unit.</p>
     <p style="margin: 0px;">The problem is the code explorer.</p>
     <p style="margin: 0px;">Maybe the recent changes to TTreeView. </p>
    </blockquote>
   </div>
  </div>
  <p style="margin: 0px;"> </p>
  <p style="margin: 0px;">Yes. It is TLazAccessibleObject.GetChildAccessibleObjectWithDataObject. It uses a linear search for the 10.000 items. I will replace it with an avl tree. </p>
  <p style="margin: 0px;"> </p>
  <p style="margin: 0px;"> </p>
  <p style="margin: 0px;">Mattias</p>
  <p> </p>
 </body>
</html>