Revision: 5479
http://sourceforge.net/p/jump-pilot/code/5479
Author: edso
Date: 2017-07-30 15:58:14 +0000 (Sun, 30 Jul 2017)
Log Message:
-----------
fix a nifty bug, where milliseconds always showed the seconds in default format
eg.
01:02:03.004 became 01:02:03.003
Modified Paths:
--------------
core/trunk/src/com/vividsolutions/jump/workbench/ui/AttributeTablePanel.java
Modified:
core/trunk/src/com/vividsolutions/jump/workbench/ui/AttributeTablePanel.java
===================================================================
---
core/trunk/src/com/vividsolutions/jump/workbench/ui/AttributeTablePanel.java
2017-07-29 19:20:04 UTC (rev 5478)
+++
core/trunk/src/com/vividsolutions/jump/workbench/ui/AttributeTablePanel.java
2017-07-30 15:58:14 UTC (rev 5479)
@@ -76,7 +76,7 @@
private static final String DATE_FORMAT_KEY =
ViewOptionsPlugIn.DATE_FORMAT_KEY;
private static final String SELECTION_SYNC_KEY =
ViewOptionsPlugIn.SELECTION_SYNC_KEY;
- private static SimpleDateFormat DEFAULT_DATE_FORMAT = new
SimpleDateFormat("yyyy-MM-dd HH:mm:ss.sss");
+ private static SimpleDateFormat DEFAULT_DATE_FORMAT = new
SimpleDateFormat("yyyy-MM-dd HH:mm:ss.SSS");
private Blackboard blackboard;
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
