Changeset 1236


Ignore:
Timestamp:
Jul 21, 2011, 8:47:04 AM (6 years ago)
Author:
stefan
Message:
 
Location:
trunk/tools/src/jlatexeditor/tools
Files:
2 edited

Legend:

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

    r1231 r1236  
    1212 */
    1313object GoogleCodeSearch {
    14   val CODE_SEARCH_FEEDS_URL = "https://www.google.com/codesearch/feeds/search?"
     14  val CODE_SEARCH_FEEDS_URL = "http://www.google.com/codesearch/feeds/search?"
    1515  val codeSearchService = new CodeSearchService("gdata-sample-codesearch")
    1616
  • trunk/tools/src/jlatexeditor/tools/PackageParser.scala

    r1230 r1236  
    9292      }
    9393      for (env <- pack.environments.values) {
     94        val usageCountString = env.usageCount.map( count => " usageCount=\"" + count + "\"").getOrElse("")
    9495        val optArgString = if (env.optionalArgs.isEmpty) "" else " optionalArg=\"" + escape(env.optionalArgs(0)) + "\""
    95         out.println("    <environment name=\"" + env.name + "\" argCount=\"" + env.argCount + "\"" + optArgString + " />")
     96        out.println("    <environment name=\"" + env.name + "\" argCount=\"" + env.argCount + "\"" + optArgString + usageCountString + " />")
    9697      }
    9798      out.println("  </package>")
Note: See TracChangeset for help on using the changeset viewer.