Log Message:
update to dinotrace-mode-9.3a to keep in sync with dinotrace.

Revision history for Dinotrace

The contributors that suggested a given feature are shown in [].

* Dinotrace 9.3a 06/13/2005

***	Fix too small buttons under openmotif.

***	Fix missing keyboard accelerators under openmotif.

* Dinotrace 9.2b 05/03/2005

***	The default extension for Verilog dumps is now .vcd instead of .dmp.

****    Fix traces containing only real numbers.  [Vitor Antunes]

****	Fix segfault when doing signal adds.  [Guy Hutchinson]