+
+ protected void drawAbsHeader(GC gc, long nanosec, Rectangle rect, SimpleDateFormat dateFormat) {
+ String header;
+ synchronized (dateFormat) {
+ header = dateFormat.format(new Date(nanosec / MILLISEC_IN_NS));
+ }
+ int headerwidth = gc.stringExtent(header).x + 4;
+ if (headerwidth <= rect.width) {
+ rect.x += (rect.width - headerwidth);
+ Utils.drawText(gc, header, rect, true);
+ }
+ }