Lines Matching refs:margin
99 private Insets margin = null;
345 * Sets the margin between the menubar's border and
349 * @param m an Insets object containing the margin values
357 Insets old = margin;
358 this.margin = m;
359 firePropertyChange("margin", old, m);
367 * Returns the margin between the menubar's border and
368 * its menus. If there is no previous margin, it will create
369 * a default margin with zero size.
371 * @return an <code>Insets</code> object containing the margin values
375 if(margin == null) {
378 return margin;
458 String marginString = (margin != null ?
459 margin.toString() : "");
462 ",margin=" + marginString +