« Previous | Next » 

Revision 42065

Added by Joaquín del Cerro Murciano about 9 years ago

Parcheado el JNumberSpinner. Funciona correctamente para valores enteros, pero para valores decimales he metido una chapuza que medio va. Habria que corregirlo, pero no se como hacerlo.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences