* Add a random profileId to hterm instance to differentiate PreferenceManager used internally * Use getPrefs() method instead of accessing prefs_ private property directly |
||
|---|---|---|
| .. | ||
| header.js | ||
| notification.js | ||
| notifications.js | ||
| split-pane.js | ||
| tab.js | ||
| tabs.js | ||
| term-group.js | ||
| term.js | ||
| terms.js | ||