diff options
author | Kris Maglione <kris@vimperator.org> | 2009-10-29 22:28:21 -0400 |
---|---|---|
committer | Kris Maglione <kris@vimperator.org> | 2009-10-29 22:28:21 -0400 |
commit | 2ffbe6005e3701ab473df1b6615ce9e8e3bd429c (patch) | |
tree | 10df60eb0f1a70af672ff8246af57bdc04f6de3a | |
parent | 9bb01ce7ef2a503ab6b8641498c71ae83b297183 (diff) | |
download | pentadactyl-2ffbe6005e3701ab473df1b6615ce9e8e3bd429c.tar.gz |
Fixes issue #119.
Update issue #119
This should be fixed, but I'm fairly convinced that it
shouldn't occur in the first place, and a new problem may well
occur in its place. Which version of Firefox are you using,
and which other extensions?
-rw-r--r-- | common/content/ui.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/common/content/ui.js b/common/content/ui.js index cb43c4b2..caa46a88 100644 --- a/common/content/ui.js +++ b/common/content/ui.js @@ -2184,9 +2184,9 @@ function StatusLine() //{{{ if (window.getWebNavigation) { let sh = window.getWebNavigation().sessionHistory; - if (sh.index > 0) + if (sh && sh.index > 0) modified += "+"; - if (sh.index < sh.count -1) + if (sh && sh.index < sh.count -1) modified += "-"; } if (liberator.has("bookmarks")) |