diff -r c294b2070185 -r f9476dbd87ec src/gui.cpp
--- a/src/gui.cpp	Tue Oct 22 21:03:57 2013 +0300
+++ b/src/gui.cpp	Tue Oct 22 21:39:20 2013 +0300
@@ -345,12 +345,15 @@
 			} break;
 		}
 
-		// Put it into brackets if it's hidden
-		if (obj->hidden())
-			descr = fmt ("[[ %1 ]]", descr);
-
 		QListWidgetItem* item = new QListWidgetItem (descr);
 		item->setIcon (getIcon (obj->typeName()));
+		
+		// Use italic font if hidden
+		if (obj->hidden())
+		{	QFont font = item->font();
+			font.setItalic (true);
+			item->setFont (font);
+		}
 
 		// Color gibberish orange on red so it stands out.
 		if (obj->getType() == LDObject::Error)