"Library Manager" wasn't translated

Federico Fissore · Federico Fissore · commit 582992caff2b · 2015-08-06T14:27:47.000+02:00
diff --git a/app/src/cc/arduino/contributions/libraries/ui/LibraryManagerUI.java b/app/src/cc/arduino/contributions/libraries/ui/LibraryManagerUI.java
@@ -90,7 +90,7 @@ protected void onRemove(ContributedLibrary library) {
   }
 
   public LibraryManagerUI(Frame parent, LibrariesIndexer indexer, LibraryInstaller installer) {
-    super(parent, "Library Manager", Dialog.ModalityType.APPLICATION_MODAL, tr("Unable to reach Arduino.cc due to possible network issues."));
+    super(parent, tr("Library Manager"), Dialog.ModalityType.APPLICATION_MODAL, tr("Unable to reach Arduino.cc due to possible network issues."));
     this.indexer = indexer;
     this.installer = installer;
 

Original file line number	Diff line number	Diff line change
`@@ -90,7 +90,7 @@ protected void onRemove(ContributedLibrary library) {`
`90`	`90`	`}`
`91`	`91`
`92`	`92`	`public LibraryManagerUI(Frame parent, LibrariesIndexer indexer, LibraryInstaller installer) {`
`93`		`- super(parent, "Library Manager", Dialog.ModalityType.APPLICATION_MODAL, tr("Unable to reach Arduino.cc due to possible network issues."));`
	`93`	`+ super(parent, tr("Library Manager"), Dialog.ModalityType.APPLICATION_MODAL, tr("Unable to reach Arduino.cc due to possible network issues."));`
`94`	`94`	`this.indexer = indexer;`
`95`	`95`	`this.installer = installer;`
`96`	`96`