From 015b6f3afb8e74d1d14859ac0b9886553f2dc9c1 Mon Sep 17 00:00:00 2001
From: Tobias Gehrig <tobias.gehrig@kit.edu>
Date: Tue, 25 Feb 2014 15:47:57 +0100
Subject: [PATCH] Make attributes in LabelEditor sorted

---
 sloth/gui/propertyeditor.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sloth/gui/propertyeditor.py b/sloth/gui/propertyeditor.py
index 482c781..6a34a93 100644
--- a/sloth/gui/propertyeditor.py
+++ b/sloth/gui/propertyeditor.py
@@ -251,6 +251,8 @@ class LabelEditor(QScrollArea):
         for lc in self._label_classes:
             attributes |= set(self._editor.getLabelClassAttributes(lc))
 
+        attributes = list(attributes)
+        attributes.sort()
         for attr in attributes:
             handler = self._editor.getHandler(attr)
             if handler is not None: