// Job: Jay's Own Browser, a web browser written in Java by Jay Skeer // Copyright (C) 1996 Jay Skeer, Jay Prime Positive // // This program is free software; you can redistribute it and/or modify // it under the terms of the GNU General Public License as published by // the Free Software Foundation; either version 2 of the License, or // (at your option) any later version. // // This program is distributed in the hope that it will be useful, // but WITHOUT ANY WARRANTY; without even the implied warranty of // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the // GNU General Public License for more details. // // You should have received a copy of the GNU General Public License // along with this program; if not, write to the Free Software // Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. // public class RegionStyle { public String name; public int first_left_margin; public int right_margin; public int left_margin; public String font; public RegionStyle() { first_left_margin= 0; right_margin= 0; left_margin= 0; font="body"; } public RegionStyle(String name, int flm, int lm, int rm) { this.name= name; first_left_margin= flm; right_margin= rm; left_margin= lm; font="body"; } public RegionStyle indent(String name, int amount) { int lm= left_margin + amount; int rm= right_margin; RegionStyle rv= new RegionStyle(name, lm, lm, rm); rv.setFont(this.font); return rv; } public RegionStyle lrindent(String name, int left, int right) { int lm= left_margin + left; int rm= right_margin + right; RegionStyle rv= new RegionStyle(name, lm, lm, rm); rv.setFont(this.font); return rv; } public RegionStyle font(String font) { RegionStyle rv= indent(font, 0); rv.font= font; return rv; } public String getFont() { return this.font; } public void setFont(String f) { this.font= f; } public RegionStyle indentabs(String name, int absamount) { int lm= absamount; int rm= right_margin; return new RegionStyle(name, lm, lm, rm); } public RegionStyle indent(String name, int hang, int amount) { int flm= left_margin + hang; int lm= left_margin + amount; int rm= right_margin; return new RegionStyle(name, flm, lm, rm); } public int getLeftMargin() { return left_margin; } public int getFirstLeftMargin() { return first_left_margin; } public int getRightMargin() { return right_margin; } public String toString() { StringBuffer rv= new StringBuffer(); rv.append("["); rv.append(name); rv.append(","); rv.append(font); rv.append(":"); rv.append(Integer.toString(first_left_margin)); rv.append(","); rv.append(Integer.toString(left_margin)); rv.append("--"); rv.append(Integer.toString(right_margin)); rv.append("]"); return rv.toString(); } }