diff options
author | rsiddharth <rsiddharth@ninthfloor.org> | 2012-12-21 09:47:17 +0530 |
---|---|---|
committer | rsiddharth <rsiddharth@ninthfloor.org> | 2012-12-21 09:47:17 +0530 |
commit | 03ab823d0318865544c54baaaa0b4ebb63fae4fa (patch) | |
tree | 73ad82bfba3ed35fa9707d73ae7c0dd4c63c6eb6 /styling | |
parent | 7667485f10c7e95a9bfe8620cbc271870694e6f1 (diff) |
[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
Diffstat (limited to 'styling')
-rw-r--r-- | styling/StyleChecker.java | 14 | ||||
-rw-r--r-- | styling/style.css | 2 |
2 files changed, 10 insertions, 6 deletions
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; |