MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

dot separates time from the message in the event log

Browse Source
This commit is contained in:
peter
2011-07-25 17:58:00 +02:00
parent 092efc1b3f
commit 8f057ea253
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/notification/EventLogConsole.java
+1 -1
View File
@@ -113,7 +113,7 @@ class EventLogConsole {
Document document = myLogEditor.getDocument();
boolean scroll = document.getTextLength() == myLogEditor.getCaretModel().getOffset();
append(document, DateFormat.getTimeInstance(DateFormat.MEDIUM).format(notification.getCreationTime()) + " ");
append(document, DateFormat.getTimeInstance(DateFormat.MEDIUM).format(notification.getCreationTime()) + ". ");
EventLog.LogEntry pair = EventLog.formatForLog(notification);