MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

saving todo filters: revert to restore patterns-filter mappings (IDEA-108293)

Browse Source
This commit is contained in:
Anna Kozlova
2013-06-03 14:46:57 +04:00
parent ca0ec5f4db
commit 7596b52be2
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ide/todo/TodoFilter.java
+7 -3
View File
@@ -20,6 +20,8 @@ import com.intellij.openapi.diagnostic.Logger;
import com.intellij.psi.PsiFile;
import com.intellij.psi.search.PsiTodoSearchHelper;
import com.intellij.psi.search.TodoPattern;
import com.intellij.util.ArrayUtil;
import com.intellij.util.ArrayUtilRt;
import org.jdom.Element;
import org.jetbrains.annotations.NonNls;
import org.jetbrains.annotations.NotNull;
@@ -145,11 +147,13 @@ public class TodoFilter implements Cloneable{
* @param element in which all data will be stored
* @param patterns all available patterns
*/
public void writeExternal(Element element,TodoPattern[] patterns){
public void writeExternal(Element element, TodoPattern[] patterns){
element.setAttribute(ATTRIBUTE_NAME,myName);
for (int i = 0; i < patterns.length; i++) {
for (TodoPattern pattern : myTodoPatterns) {
int index = ArrayUtilRt.find(patterns, pattern);
LOG.assertTrue(index != -1);
Element child = new Element(ELEMENT_PATTERN);
child.setAttribute(ATTRIBUTE_INDEX, Integer.toString(i));
child.setAttribute(ATTRIBUTE_INDEX, Integer.toString(index));
element.addContent(child);
}
}