[ jEdit-commits ] SF.net SVN: jedit:[17922] plugins/CtagsInterface/trunk/src/ctagsinterface/ main/QuickSearchTagDialog.java

[<sh...@us...>]

Revision: 17922
          http://jedit.svn.sourceforge.net/jedit/?rev=17922&view=rev
Author:   shlomy
Date:     2010-05-29 21:15:38 +0000 (Sat, 29 May 2010)

Log Message:
-----------
Option for case-insensitive quick tag lookup (prefix/substring).

Modified Paths:
--------------
    plugins/CtagsInterface/trunk/src/ctagsinterface/main/QuickSearchTagDialog.java

Modified: plugins/CtagsInterface/trunk/src/ctagsinterface/main/QuickSearchTagDialog.java
===================================================================
--- plugins/CtagsInterface/trunk/src/ctagsinterface/main/QuickSearchTagDialog.java	2010-05-29 20:41:24 UTC (rev 17921)
+++ plugins/CtagsInterface/trunk/src/ctagsinterface/main/QuickSearchTagDialog.java	2010-05-29 21:15:38 UTC (rev 17922)
@@ -15,6 +15,7 @@
 import javax.swing.DefaultListCellRenderer;
 import javax.swing.DefaultListModel;
 import javax.swing.ImageIcon;
+import javax.swing.JCheckBox;
 import javax.swing.JDialog;
 import javax.swing.JLabel;
 import javax.swing.JList;
@@ -53,6 +54,7 @@
 	private Timer filterTimer;
 	private String query;
 	private boolean showImmediately;
+	private JCheckBox caseSensitive;
 
 	/** This window will contains the scroll with the items. */
 	final JWindow window = new JWindow(this);
@@ -74,6 +76,8 @@
 		p.add(new JLabel("Type part of the tag name:"));
 		name = new JTextField(30);
 		p.add(name);
+		caseSensitive = new JCheckBox("Case-sensitive", false);
+		p.add(caseSensitive);
 		add(p, BorderLayout.NORTH);
 		model = new DefaultListModel();
 		tags = new JList(model);
@@ -192,7 +196,8 @@
 	private void applyFilter()
 	{
 		model.removeAllElements();
-		final String input = name.getText();
+		final String input = caseSensitive.isSelected() ? name.getText():
+			name.getText().toLowerCase();
 		if (showImmediately || (! input.isEmpty()))
 		{
 			switch (mode)
@@ -201,7 +206,10 @@
 				for (int i = 0; i < tagNames.size(); i++)
 				{
 					QuickSearchTag t = tagNames.get(i);
-					if (t.name.toLowerCase().contains(input))
+					String name = t.name;
+					if (! caseSensitive.isSelected())
+						name = name.toLowerCase();
+					if (name.contains(input))
 						model.addElement(t);
 				}
 				break;
@@ -219,6 +227,8 @@
 					public void handle(Document doc)
 					{
 						String name = doc.getField(TagIndex._NAME_FLD).stringValue();
+						if (! caseSensitive.isSelected())
+							name = name.toLowerCase();
 						if (name.startsWith(input))
 							model.addElement(new QuickSearchTag(doc));
 					}


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.