~azzar1/unity/add-show-desktop-key

  • Committer: mattgiuca
  • Date: 2008-02-03 05:01:14 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:384
editor.js: Rewrote the way the editor and surrounding UI are inserted. The top
UI is now integrated into a fixed-height div that appears to be part of the
title bar. Changed some settings in the editor such as disabling toggle,
resize, and replacing tabs with 4 spaces (consistent with console).
editor.css: Restyled editor. The editor pane now takes up the whole screen
(all the way to the edge).
Filename Latest Rev Last Changed Committer Comment Size
..
__init__.py 93 17 years ago mattgiuca New directory hierarchy. Renamed src to www. Added Empty Diff Download File
db.py 374 17 years ago mattgiuca db.py: Sundry changes. Renamed drop_user to de 7.1 KB Diff Download File
interpret.py 258 17 years ago mattgiuca interpret.py: CGI handler does some checks before 14.4 KB Diff Download File
makeuser.py 375 17 years ago mattgiuca www/common/makeuser.py: Now accepts a large nu 4.3 KB Diff Download File
studpath.py 267 17 years ago mattgiuca Changed semantics of "published" property: Now app 5.4 KB Diff Download File
util.py 323 17 years ago mattgiuca util.py: Fixed the fix fix. (Always one step behin 4 KB Diff Download File
zip.py 243 17 years ago mattgiuca Added common/zip.py. Creates a zip file from paths 3.2 KB Diff Download File