|
@@ -259,9 +259,9 @@ The following bugs were fixed in our branch of the Gecko source code only:
|
|
|
|
|
|
|
|
<ul>
|
|
<ul>
|
|
|
<li>The Bookmarks Manager has switched its name to Library, and now also
|
|
<li>The Bookmarks Manager has switched its name to Library, and now also
|
|
|
- includes the History list. When invoking History, the Library will be shown
|
|
|
|
|
- with the History list selected. The extensive modifications were needed
|
|
|
|
|
- because of Mozilla Gecko platform API changes.
|
|
|
|
|
|
|
+ includes the History list. When History is invoked, the Library will be
|
|
|
|
|
+ shown with the History list selected. The extensive modifications were
|
|
|
|
|
+ needed because of Mozilla Gecko platform API changes.
|
|
|
</li>
|
|
</li>
|
|
|
<li>Download Manager has been migrated to a new API. Although it looks pretty
|
|
<li>Download Manager has been migrated to a new API. Although it looks pretty
|
|
|
much the same as before, the search option is missing and some other minor
|
|
much the same as before, the search option is missing and some other minor
|
Frank-Rainer Grahl