On 12/10/2015 9:40 AM, EE wrote:
> I am curious as to why one can no longer add separators to the bookmarks
> from the bookmarks manager window? It used to be possible to do that,
> but is no longer possible. I can still do that from the bookmarks menu
> on my bookmarks toolbar, so that will do if I need to add any more.
> Was there really some problem with allowing that in the manager window,
> or is that just another bug?
>
I set browser.bookmarks.autoExportHTML to true to export my bookmarks to
a file named bookmarks.html in my profile. I do this in file user.js in
my profile with the following:
user_pref("browser.bookmarks.autoExportHTML", true);
// automatically export bookmarks into an HTML file
with the second line merely a comment to remind me why I have this.
I use bookmarks.html as my home page. In my profile, in
chrome\userContent.css, I have the following:
@-moz-document
url("file:///xxx/bookmarks.html")
{ body { margin-left: 2em !important; font-size: 12pt }
h3 + dl { margin-left: 2em !important } }
where "xxx" is the path to my profile. This highlights the folders when
rendering bookmarks.html and indents the folder contents. Since the
margin-left CSS property is relative to the "box" in which the affect
content resides, subfolder are indented even farther.
--
David E. Ross
The Crimea is Putin's Sudetenland.
The Ukraine will be Putin's Czechoslovakia.
See <http://www.rossde.com/editorials/edtl_PutinUkraine.html>.
_______________________________________________
support-seamonkey mailing list
support-seamonkey@lists.mozilla.org
https://lists.mozilla.org/listinfo/support-seamonkey
