Changeset 1218


Ignore:
Timestamp:
Jul 12, 2011, 10:47:34 PM (6 years ago)
Author:
stefan
Message:
 
Location:
trunk/tools/src/jlatexeditor/tools
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • trunk/tools/src/jlatexeditor/tools/CommandUsageCounter.scala

    r1215 r1218  
    1010 */
    1111object CommandUsageCounter extends UsageCounter("commandUsageCounts.properties") {
    12   val names = (XML.loadFile("packages.xml") \ "package" \ "command").map(node => (node \ "@name").text).sortBy(x => x).distinct
     12  val names = ((XML.loadFile("packages.xml") ++ XML.loadFile("docclasses.xml")) \ "package" \ "command").map(node => (node \ "@name").text).sortBy(x => x).distinct
    1313  def getCode(name: String) = "\\\\" + name + "\\b"
    1414}
  • trunk/tools/src/jlatexeditor/tools/EnvironmentUsageCounter.scala

    r1215 r1218  
    99 */
    1010object EnvironmentUsageCounter extends UsageCounter("environmentUsageCounts.properties") {
    11   val names = (XML.loadFile("packages.xml") \ "package" \ "environment").map(node => (node \ "@name").text).sortBy(x => x).distinct
     11  val names = ((XML.loadFile("packages.xml") ++ XML.loadFile("docclasses.xml")) \ "package" \ "environment").map(node => (node \ "@name").text).sortBy(x => x).distinct
     12  //val names2 = (XML.loadFile("packages.xml") \ "package" \ "environment").map(node => (node \ "@name").text).sortBy(x => x).distinct
    1213  def getCode(name: String) = "\\\\begin\\{" + name + "\\}"
    1314}
  • trunk/tools/src/jlatexeditor/tools/UsageCounter.scala

    r1214 r1218  
    3434        println(name)
    3535        val usageCountFor = lastValue.getOrElse(name, {
    36           Thread.sleep(1000);
     36          Thread.sleep(100);
    3737          "" + GoogleCodeSearch.determineUsageCountForLatexCode(getCode(name))
    3838        })
Note: See TracChangeset for help on using the changeset viewer.