diff python/ide.py @ 168:49f1ab80d040

Added awesome icons
author Windel Bouwman
date Fri, 22 Mar 2013 19:09:38 +0100
parents 0b5b2ee6b435
children ee0d30533dae
line wrap: on
line diff
--- a/python/ide.py	Fri Mar 22 17:40:13 2013 +0100
+++ b/python/ide.py	Fri Mar 22 19:09:38 2013 +0100
@@ -328,6 +328,7 @@
       if node.loc:
          row, col = node.loc.row, node.loc.col
          ce.setRowCol( row, col )
+         ce.setFocus()
       else:
          ce.clearErrors()
 
@@ -353,7 +354,6 @@
         self.buildOutput.append("Done!")
   def buildProject(self):
      """ Build project """
-     print('BUILD project')
      self.buildOutput.clear()
      self.diag.diags.clear()
      self.buildFile()