Home
last modified time | relevance | path

Searched refs:plumbing (Results 1 – 7 of 7) sorted by relevance

/packages/inputmethods/LatinIME/tools/dicttool/src/com/android/inputmethod/latin/dicttool/
DInfo.java39 private static void showInfo(final FusionDictionary dict, final boolean plumbing) { in showInfo() argument
41 System.out.print(dict.mOptions.toString(2, plumbing)); in showInfo()
88 final boolean plumbing; in run()
90 plumbing = true; in run()
96 plumbing = false; in run()
103 showInfo(dict, plumbing); in run()
DHeader.java39 final boolean plumbing; in run()
41 plumbing = true; in run()
44 plumbing = false; in run()
66 System.out.print(header.mDictionaryOptions.toString(2 /* indentCount */, plumbing)); in run()
DDiff.java45 final boolean plumbing; in run()
47 plumbing = true; in run()
53 plumbing = false; in run()
61 if (!plumbing) { in run()
/packages/inputmethods/LatinIME/java/src/com/android/inputmethod/latin/makedict/
DFormatSpec.java280 public String toString(final int indentCount, final boolean plumbing) { in toString() argument
282 if (plumbing) { in toString()
294 if ("date".equals(optionKey) && !plumbing) { in toString()
/packages/inputmethods/LatinIME/dictionaries/
Den_GB_wordlist.combined.gz1dictionary=main:en_gb,locale=en_GB,description=English (UK),date ...
Den_US_wordlist.combined.gz1dictionary=main:en_us,locale=en_US,description=English (US),date ...
Den_wordlist.combined.gz1dictionary=main:en,locale=en,description=English,date=1414726273, ...