diff options
author | root <root@ghunt-desktop.(none)> | 2010-11-15 00:48:03 (GMT) |
---|---|---|
committer | root <root@ghunt-desktop.(none)> | 2010-11-15 00:48:03 (GMT) |
commit | 8e4465bd5598173eaccf228b95450a1c156834b7 (patch) | |
tree | b233e3c01b0e8c5ac5e019554cc2bcff073f5ea2 /pydebug.py | |
parent | 2d2e22530e07dc0e1801e31cce61f30841e77c46 (diff) |
build 650 sourceview markers, embeds, and xo bundles to journal
Diffstat (limited to 'pydebug.py')
-rw-r--r-- | pydebug.py | 25 |
1 files changed, 12 insertions, 13 deletions
@@ -43,7 +43,8 @@ from sugar import profile from terminal_gui import TerminalGui from editor import S_WHERE from editor import GtkSourceview2Page -from editor_gui import EditorGui +from editor_gui import EditorGui +from page import SearchOptions, S_WHERE from project_gui import ProjectGui from project import ProjectFunctions from util import Utilities @@ -113,22 +114,11 @@ pydebug_instance = None start_clock = 0 -#following options taken from Develop_App -class Options: - def __init__(self, template = None, **kw): - if template: - self.__dict__ = template.__dict__.copy() - else: - self.__dict__ = {} - self.__dict__.update(kw) - -class SearchOptions(Options): - pass - class PyDebugActivity(Activity, TerminalGui, EditorGui, ProjectGui): #ipshell = IPShellEmbed() MIME_TYPE = 'application/vnd.olpc-sugar' DEPRECATED_MIME_TYPE = 'application/vnd.olpc-x-sugar' + MIME_ZIP = 'application/zip' _zipped_extension = '.xo' _unzipped_extension = '.activity' dirty = False @@ -250,6 +240,13 @@ class PyDebugActivity(Activity, TerminalGui, EditorGui, ProjectGui): ) self.safe_to_replace = False + #get the sugar version + (major,minor,micro,release) = self._activity.util.sugar_version() + _logger.debug('sugar version major:%s minor:%s micro:%s release:%s'%(major,minor,micro,release)) + if not minor: + minor = 70 + self.sugar_minor = minor + ######################################################################################### _logger.debug('All app objects created. about to set up Display . Elapsed time: %f'%(time.clock()-start_clock)) @@ -473,6 +470,8 @@ class PyDebugActivity(Activity, TerminalGui, EditorGui, ProjectGui): self.manifest_class.set_file_sys_root(self.child_path) if self.icon_window: self.icon_window.destroy() + if not index == self.panes['EDITOR'] and self.find_window: + self.find_window.hide() self.current_pd_page = index gobject.idle_add(self.grab_notebook_focus) |