Merge pull request #182 from fedorov/fix-casenumber

ENH: simplify how case directory name is generated

Author: fedorov

SliceTracker/SliceTracker.py

@@ -3614,10 +3614,10 @@ def setupConnections(self):
     self.spinbox.valueChanged.connect(self.onCaseNumberChanged)
 
   def onCaseNumberChanged(self, caseNumber):
-    while len(str(caseNumber)) < self.CASE_NUMBER_DIGITS:
-      caseNumber = "0" + caseNumber
-    directory = self.PREFIX+str(caseNumber)+self.SUFFIX
+    formatString = '%0'+str(self.CASE_NUMBER_DIGITS)+'d'
+    caseNumber = formatString % caseNumber
+    directory = self.PREFIX+caseNumber+self.SUFFIX
     self.newCaseDirectory = os.path.join(self.destinationRoot, directory)
     self.preview.setText("New case directory: " + self.newCaseDirectory)
     self.okButton.enabled = not os.path.exists(self.newCaseDirectory)
-    self.notice.text = "" if not os.path.exists(self.newCaseDirectory) else "Note: Directory already exists."
+    self.notice.text = "" if not os.path.exists(self.newCaseDirectory) else "Note: Directory already exists."