Permalink
Switch branches/tags
Commits on Jun 9, 2012
  1. Fix typo in build file

    gjtorikian committed Jun 9, 2012
  2. Remap settings paths

    gjtorikian committed Jun 9, 2012
Commits on Jun 8, 2012
  1. Merge beta

    gjtorikian committed Jun 8, 2012
  2. Merge pull request #1678 from ajaxorg/issue/1506

    Issue/1506
    javruben committed Jun 8, 2012
  3. Remove bad code

    gjtorikian committed Jun 8, 2012
  4. Merge pull request #1676 from ajaxorg/fix/theme_switch

    Fix theme switching, update themes
    javruben committed Jun 8, 2012
  5. Update ext

    gjtorikian committed Jun 8, 2012
  6. Merge pull request #1675 from ajaxorg/session-fix

    Session fix
    gjtorikian committed Jun 8, 2012
  7. fix ordering of css rules for gutter-cell

       breakpoints must have higher priority than warnings
    nightwing committed Jun 8, 2012
Commits on Jun 7, 2012
  1. select project to sync with

    cadorn committed Jun 7, 2012
  2. workspaceId -> localWorkspaceId

    cadorn committed Jun 7, 2012
  3. sync UI flow

    cadorn committed Jun 7, 2012
  4. fix ordering of css rules for gutter-cell

       breakpoints must have higher priority than warnings
    nightwing committed Jun 7, 2012
  5. --

    nightwing committed Jun 7, 2012
  6. Merge pull request #1640 from ajaxorg/ui/one_line_ace

    Ui/one line ace followup
    javruben committed Jun 7, 2012
  7. Merge pull request #1651 from ajaxorg/debug-language-worker

    Load language tools in UI thread if ?noworker=1 is specified
    mattpardee committed Jun 7, 2012
  8. Merge pull request #1680 from ajaxorg/ui/refactor-bugfixes

    Ui/refactor bugfixes
    giannis committed Jun 7, 2012