made int slider control have editable text field now to allow text edit of int properties.
made int slider control have editable text field now to allow text edit of int properties.

git-svn-id: e3d3b427d532171a6bd7557d8a4952a393b554a2@1587 b7f4320f-462c-0410-a916-d9f35bb82d52

SensorsINI/jaer,SensorsINI/jaer,viktorbahr/jaer,SensorsINI/jaer,viktorbahr/jaer,viktorbahr/jaer,viktorbahr/jaer,viktorbahr/jaer,SensorsINI/jaer,SensorsINI/jaer,SensorsINI/jaer,viktorbahr/jaer,SensorsINI/jaer,SensorsINI/jaer,viktorbahr/jaer