From 03ab823d0318865544c54baaaa0b4ebb63fae4fa Mon Sep 17 00:00:00 2001 From: rsiddharth Date: Fri, 21 Dec 2012 09:47:17 +0530 Subject: [bug-fix]: when the default style sheet is newer than the style sheet in that directory, the new default style sheet is copied to that directory. added Run.java to bzr (forgot to add it in the last commit) modified: styling/StyleChecker.java styling/style.css --- styling/StyleChecker.java | 14 +++++++++----- styling/style.css | 2 +- 2 files changed, 10 insertions(+), 6 deletions(-) (limited to 'styling') diff --git a/styling/StyleChecker.java b/styling/StyleChecker.java index 3a2cc4e..e70170a 100644 --- a/styling/StyleChecker.java +++ b/styling/StyleChecker.java @@ -23,18 +23,22 @@ package scruf.styling; import scruf.io.*; import java.io.*; + public class StyleChecker { private File styleSheet; private File curDir; private String styleContent; - + // the default style sheet in scruf package. + private File scrufStyleSheet = new File("scruf/styling/style.css"); public void check(File curDir) { this.curDir = curDir.getAbsoluteFile(); styleSheet = new File(curDir,"style.css"); - // if style shee doesn't exists, copy default sheet - // to the directory. - if(!styleSheet.exists()) { - styleContent = new ReadFile(new File("scruf/styling/style.css")).getContent(); + // if style sheet doesn't exists or if the default style is newer + // than style sheet in the directory, copy default sheet to the + // directory. + if((!styleSheet.exists()) || + scrufStyleSheet.lastModified() > styleSheet.lastModified()) { + styleContent = new ReadFile(scrufStyleSheet).getContent(); new WriteFile(styleSheet,styleContent).write(); } } diff --git a/styling/style.css b/styling/style.css index 9166be3..d6a533a 100644 --- a/styling/style.css +++ b/styling/style.css @@ -6,7 +6,7 @@ */ article { - font-size:1.50em; /* 1.88 */ + font-size:1.50em; font-family:"Palatino Linotype","Book Antiqua",Palatino,"URW Palladio L",FreeSerif,serif; color:#787878; margin-left:auto; -- cgit v1.2.3