libdot: lib.PreferenceManager fixes.

* diff() and onStorageChanged had issues dealing with boolean prefs
  and the change-to-default-value case.  The upshot was that
  set(name, true/false/DEFAULT_VALUE) caused the notifyChange to be called

Change-Id: I5d732aeda9fde6088bbbe1b956f2cfa52b7264a5
Reviewed-by: Marvelous Marius <>
Commit-Queue: Marvelous Marius <>
Tested-by: Marvelous Marius <>
2 files changed
tree: 4ee318d7b38198e12e1db25d91524b81ce298e55
  1. .gitignore
  4. hterm/
  5. lib_wam/
  6. libdot/
  7. nassh/
  8. wash/


This repository contains the libdot JavaScript library and some web applications that make use of it.

The official copy of this repository is hosted at

There is also a mirror on github at Keep in mind that this mirror may occasionally be behind the official repository.

All changes must go through the Gerrit code review server on Github pull requests cannot be accepted. Please see the document in this directory for the details.

Top level directories

  • libdot/ is a small set of JS libraries initially developed as part of hterm, now available as shared code. It provides a base layer for web applications. The code is intended to work in any modern browser, in either a plain web page or a “privileged” environment such as a Chrome platform application or Firefox extension. In practice, it's only been put to use in Chrome platform applications so far.

  • hterm/ is a JS library that provides a terminal emulator. It is reasonably fast, reasonably correct, and reasonably portable across browsers.

  • nassh/ is a Chrome App (currently a “v1.5” app, soon to become a “v2” or platform app) that combines hterm with a NaCl build of OpenSSH to provide a PuTTY-like app for Chrome users.

  • wash/ is a library for cross-origin virtual filsystems, similar to the Plan 9 filesystem. This directory also contains a simple bash-like shell environment for exploring these filesystems. The code in this directory is a work-in-progress.