From 4516dc60b3bd8676e9bb0ceb9a8d67d90d7ff71a Mon Sep 17 00:00:00 2001 From: Sebastian Silva Date: Thu, 01 Dec 2011 16:08:29 +0000 Subject: UX Improvements: minimize filer and recent files --- diff --git a/activity.py b/activity.py index 879bccf..4d2bd4d 100644 --- a/activity.py +++ b/activity.py @@ -153,16 +153,20 @@ class HelloWorldActivity(activity.Activity): toolbar_box.show() if not USE_GECKO: + self.scrolled_window = gtk.ScrolledWindow() self.web_view = webkit.WebView() + self.scrolled_window.add(self.web_view) + self.scrolled_window.show() settings = self.web_view.get_settings() settings.set_property("enable-developer-extras", True) self.inspector = Inspector(self.web_view.get_web_inspector()) self.inspector.set_title("WebSDK Inspector") + self.set_canvas(self.scrolled_window) else: self.web_view = Browser() + self.set_canvas(self.web_view) self.open("file:///%s/app/static/init.html" % self.bundle_dir) - self.set_canvas(self.web_view) self.web_view.show() self.waitforport() diff --git a/app/app.py b/app/app.py index d76129b..100330e 100644 --- a/app/app.py +++ b/app/app.py @@ -61,7 +61,7 @@ def edit(filename=None): session.modified = True if filename: try: - if len(session['edit_history'])==6: + if len(session['edit_history'])==8: session['edit_history'].pop(0) if not filename in session['edit_history']: session['edit_history'].append(filename) @@ -106,6 +106,7 @@ def chdir(): session['project_name']=line[7:-1] session['pwd']=session['project_home_dir']="." os.chdir(session['project_dir']) + #flash('Acabo de cambiar a: '+os.path.realpath(".")) session['project_home']='/help' session['edit_history']=[] if os.path.isdir('app'): @@ -128,6 +129,7 @@ def browse_home(): @app.route('/files/') def browse(directory='.'): session['pwd']=directory + #flash('estoy en: '+os.path.realpath(".")) filelist = list_files(directory) try: @@ -157,7 +159,8 @@ def browse(directory='.'): return render_response('filer.html', dict(files=files, absdir=os.path.normpath(directory), width=len(files)*94+10,# 94px is each file and 10px margin - project_name=project_name + project_name=project_name, + float="left" )) @app.route('/delete/') @@ -198,6 +201,29 @@ def help(): activities=activities, project_name=project_name, edit_history=files)) +@app.route('/history') +def history(): + files = [] + try: + for filename in session['edit_history']: + icon, mode, href = identify(filename) + files.append( { 'name': os.path.basename(filename), + 'icon': icon, + 'mode': mode, + 'href': href } ) + except: + pass + try: + project_name=session['project_name'] + except KeyError: + project_name='None'; + return render_response('filer.html', dict(files=files, + absdir="Last editing sessions", + width=len(files)*94+10,# 94px is each file and 10px margin + project_name=project_name, + float="right" + )) + def vsplit(frame1='/help', frame2='/files/'): return render_response('split-view.html', dict(frame1=frame1, frame2=frame2)) diff --git a/app/static/css/main.css b/app/static/css/main.css index d672508..7a95f7b 100644 --- a/app/static/css/main.css +++ b/app/static/css/main.css @@ -52,6 +52,7 @@ hr { div#filer { display: none; + padding-top: 32px; } #filer ul{ @@ -97,6 +98,7 @@ div#filer { padding-bottom: 7px; /* padding-left: 15px; */ width: 100%; + position:fixed; } #filer-header div{ diff --git a/app/templates/filer.html b/app/templates/filer.html index 2aefc5b..7667ae7 100644 --- a/app/templates/filer.html +++ b/app/templates/filer.html @@ -27,22 +27,23 @@
-
-
    +
    +
    +
      +
    • +
    • +
    [${project_name}] /${absdir}
    -
    -
    +
    no active project
    @@ -60,6 +61,10 @@