- Timestamp:
- 2010-06-18T16:08:27+12:00 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
gs3-extensions/atlas-src/trunk/src/org/greenstone/client/Menu.java
r22272 r22277 13 13 public class Menu 14 14 { 15 protected Element _parent = null; 15 16 protected ArrayList<Menu> _childMenus = new ArrayList<Menu>(); 16 17 protected ArrayList<MenuItem> _menuItems = new ArrayList<MenuItem>(); … … 21 22 public Menu(Element parent, MouseOverHandler onMouseOver, MouseOutHandler onMouseOut) 22 23 { 24 _parent = parent; 23 25 parent.appendChild(_menuDiv.getElement()); 24 26 _menuDiv.getElement().getStyle().setProperty("background", "#FFFFFF"); … … 32 34 public void addMenuItems(ArrayList<MenuItem> menuItems) 33 35 { 36 _menuItems = menuItems; 34 37 int maxWidth = -1; 35 38 for(int i = 0; i < menuItems.size(); i++) 36 39 { 40 if(!menuItems.get(i).condition()) 41 { 42 continue; 43 } 37 44 Element item = menuItems.get(i).getMenuElement(); 38 45 item.getStyle().setProperty("background", "#FFFFFF"); … … 69 76 { 70 77 public void run() 71 { 72 //GS3MapLibrary.logToConsole("Menu height = " + _menuDiv.getOffsetHeight() + ", Div height = " + GS3MapLibrary.getElementById("GSContent").getOffsetHeight() + ", Top = " + GS3MapLibrary.getElementById("GSContent").getAbsoluteTop()); 73 78 { 74 79 if (_menuDiv.getOffsetHeight() > GS3MapLibrary.getElementById("GSContent").getOffsetHeight()) 75 80 { … … 80 85 else if(y + _menuDiv.getOffsetHeight() > GS3MapLibrary.getElementById("GSFooter").getAbsoluteTop()) 81 86 { 82 //GS3MapLibrary.logToConsole("TRUE, " + (y + _menuDiv.getOffsetHeight()) + " is greater than " + GS3MapLibrary.getElementById("GSFooter").getAbsoluteTop());83 87 _menuDiv.getElement().getStyle().setProperty("top", (y - ( y + _menuDiv.getOffsetHeight() - GS3MapLibrary.getElementById("GSFooter").getAbsoluteTop()) + "px")); 84 }85 else86 {87 //GS3MapLibrary.logToConsole("FALSE, " + (y + _menuDiv.getOffsetHeight()) + " is less than " + GS3MapLibrary.getElementById("GSFooter").getAbsoluteTop());88 88 } 89 89 _menuDiv.setVisible(true); … … 111 111 } 112 112 113 public void refreshMenu() 114 { 115 _parent.removeChild(_menuDiv.getElement()); 116 _menuDiv = new HTML(); 117 _parent.appendChild(_menuDiv.getElement()); 118 _menuDiv.getElement().getStyle().setProperty("background", "#FFFFFF"); 119 _menuDiv.getElement().getStyle().setProperty("padding", "2px"); 120 _menuDiv.getElement().getStyle().setProperty("position", "absolute"); 121 addMenuItems(_menuItems); 122 } 123 113 124 public void showMenu() 114 125 {
Note:
See TracChangeset
for help on using the changeset viewer.