Ray Davison wrote:
EE wrote:
Ray Davison wrote:
If the above is true, then somewhere the size and location are hard
coded. Therefore size and position are editable. Where and how?
I changed the size of the bookmarks panel and the bookmarks manager
window with code in a userChrome.css file.
That answers my where question, now how?
Ray
This is the code I used:
/* Increase size/height of the expanded bookmarks panel */
#editBookmarkPanel {
min-width: 360px !important; min-height: 550px !important;}
#editBMPanel_folderTree {
min-width:360px !important; min-height:580px !important;}
#bookmarkproperties, #places {
min-width:800px !important; min-height:850px !important;}
_______________________________________________
support-seamonkey mailing list
[email protected]
https://lists.mozilla.org/listinfo/support-seamonkey