Lines Matching defs:pnlMargins
1286 private MarginsPanel pnlMargins;
1309 pnlMargins = new MarginsPanel();
1310 pnlOrientation.addOrientationListener(pnlMargins);
1311 pnlMedia.addMediaListener(pnlMargins);
1313 addToGB(pnlMargins, this, gridbag, c);
1319 pnlMargins.updateInfo();
1860 private MarginsPanel pnlMargins = null;
1957 if (pnlMargins != null) {
1958 pnlMargins.updateInfo();
1966 pnlMargins = pnl;
2093 private MarginsPanel pnlMargins = null;
2145 if (pnlMargins != null) {
2146 pnlMargins.updateInfo();
2152 pnlMargins = pnl;