Changeset 1451 for trunk

Timestamp:

11/29/19 15:02:06 (4 years ago)

Author:

bnemhaus

Message:

GitPushFrame now gets UserSettings.UserName for username rather than UserSettings.ProfileName for username.
Normally these things mean the same thing, however, in this case the difference is significant.

File:

• trunk/src/org/expeditee/actions/Misc.java (modified) (1 diff)

trunk/src/org/expeditee/actions/Misc.java

@@ -1566 +1566 @@
         
         Frame current = DisplayController.getCurrentFrame();
-        String userName = UserSettings.ProfileName.get();
+        String userName = UserSettings.UserName.get();
 
         String frameName = current.getName();