Home
last modified time | relevance | path

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

/sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/lint/
DLintList.java100 private static final String KEY_WIDTHS = "lintColWidth"; //$NON-NLS-1$ field in LintList
626 IMemento columnEntry = memento.createChild(KEY_WIDTHS); in saveState()
668 columnWidths = mMemento.getChild(KEY_WIDTHS); in createColumns()
701 IMemento columnWidths = mMemento.getChild(KEY_WIDTHS); in getColumnWidth()