def __init__(self):
super(AboutDialog, self).__init__()
# Open the files and build a tab pane
self.tabbedPane = tabs = JTabbedPane()
for title, path in self.INFO_FILES:
textPane = JTextPane()
textPane.editable = False
scrollPane = JScrollPane(textPane)
scrollPane.preferredSize = (32767, 32767) # just a large number
with open(path, 'r') as fd:
infoText = fd.read().decode('utf8')
textPane.text = infoText
textPane.caretPosition = 0
tabs.addTab(title, scrollPane)
# Load this tabbed pane into the layout
self.add(tabs, BorderLayout.CENTER)
# Add a label at the top
versionLabel = JLabel(JESVersion.TITLE + " version " +
JESVersion.RELEASE)
versionLabel.alignmentX = Component.CENTER_ALIGNMENT
versionPanel = JPanel()
versionPanel.add(versionLabel)
self.add(versionPanel, BorderLayout.PAGE_START)
# Make an OK button
self.okButton = JButton(self.ok)
self.buttonPanel.add(self.okButton)
def __init__(self):
super(AboutDialog, self).__init__()
# Open the files and build a tab pane
self.tabbedPane = tabs = JTabbedPane()
for title, path in self.INFO_FILES:
textPane = JTextPane()
textPane.editable = False
scrollPane = JScrollPane(textPane)
scrollPane.preferredSize = (32767, 32767) # just a large number
with open(path, 'r') as fd:
infoText = fd.read().decode('utf8')
textPane.text = infoText
textPane.caretPosition = 0
tabs.addTab(title, scrollPane)
# Load this tabbed pane into the layout
self.add(tabs, BorderLayout.CENTER)
# Add a label at the top
versionLabel = JLabel(JESVersion.TITLE + " version " + JESVersion.RELEASE)
versionLabel.alignmentX = Component.CENTER_ALIGNMENT
versionPanel = JPanel()
versionPanel.add(versionLabel)
self.add(versionPanel, BorderLayout.PAGE_START)
# Make an OK button
self.okButton = JButton(self.ok)
self.buttonPanel.add(self.okButton)
def __init__(self):
# Setup controls - buttons first
self.playButton.preferredSize = self.refreshButton.preferredSize
self.playButton.actionCommand = self.PLAY
self.playButton.actionPerformed = self.whenButtonClicked
self.pauseButton.preferredSize = self.refreshButton.preferredSize
self.pauseButton.actionCommand = self.PAUSE
self.pauseButton.actionPerformed = self.whenButtonClicked
self.stopButton.preferredSize = self.refreshButton.preferredSize
self.stopButton.actionCommand = self.STOP
self.stopButton.actionPerformed = self.whenButtonClicked
self.refreshButton.actionCommand = self.REFRESH
self.refreshButton.actionPerformed = self.whenButtonClicked
# Now combobox and text field
self.sourceCombo.itemStateChanged = self.whenSourceChanged
self.updateSourcesList()
self.rangeSpinner.stateChanged = self.whenRangeChanged
# Now sliders
ticksMajor = int(self.posMinMax/4)
ticksMinor = int(ticksMajor/5)
labels = Hashtable(3)
labels.put(-self.posMinMax, JLabel("Left"))
labels.put( 0, JLabel("Centre"))
labels.put( self.posMinMax, JLabel("Right"))
self.positionXSlider.labelTable = labels
self.positionXSlider.minimum = -self.posMinMax
self.positionXSlider.maximum = self.posMinMax
self.positionXSlider.majorTickSpacing = ticksMajor
self.positionXSlider.minorTickSpacing = ticksMinor
self.positionXSlider.paintTicks = True
self.positionXSlider.paintLabels = True
self.positionXSlider.snapToTicks = True
self.positionXSlider.value = 0
self.positionXSlider.stateChanged = self.whenSliderXChanged
labels = Hashtable(3)
labels.put(-self.posMinMax, JLabel("Behind"))
labels.put( 0, JLabel("Centre"))
labels.put( self.posMinMax, JLabel("In-front"))
self.positionYSlider.labelTable = labels
self.positionYSlider.minimum = -self.posMinMax
self.positionYSlider.maximum = self.posMinMax
self.positionYSlider.majorTickSpacing = ticksMajor
self.positionYSlider.minorTickSpacing = ticksMinor
self.positionYSlider.paintTicks = True
self.positionYSlider.paintLabels = True
self.positionYSlider.snapToTicks = True
self.positionYSlider.value = 0
self.positionYSlider.orientation = JSlider.VERTICAL
self.positionYSlider.stateChanged = self.whenSliderYChanged
labels = Hashtable(3)
labels.put(-self.posMinMax, JLabel("Below"))
labels.put( 0, JLabel("Centre"))
labels.put( self.posMinMax, JLabel("Above"))
self.positionZSlider.labelTable = labels
self.positionZSlider.minimum = -self.posMinMax
self.positionZSlider.maximum = self.posMinMax
self.positionZSlider.majorTickSpacing = ticksMajor
self.positionZSlider.minorTickSpacing = ticksMinor
self.positionZSlider.paintTicks = True
self.positionZSlider.paintLabels = True
self.positionZSlider.snapToTicks = True
self.positionZSlider.value = 0
self.positionZSlider.orientation = JSlider.VERTICAL
self.positionZSlider.stateChanged = self.whenSliderZChanged
# Setup frame
self.title = "Simple JMRI Audio Player"
self.contentPane.layout = BoxLayout(self.contentPane, BoxLayout.Y_AXIS)
# Add controls to frame - combo & buttons first
p = JPanel(FlowLayout(FlowLayout.LEADING))
p.add(self.sourceCombo)
p.add(self.refreshButton)
p.add(self.playButton)
p.add(self.pauseButton)
p.add(self.stopButton)
#p.add(JLabel("Range"))
#p.add(self.rangeSpinner)
self.add(p)
self.add(Box.createVerticalGlue())
# Now sliders
p = JPanel(FlowLayout(FlowLayout.LEADING))
label = JLabel("Y Position")
label.UI = VerticalLabelUI() # Default behaviour is anti-clockwise
p.add(label)
p.add(self.positionYSlider)
p2 = JPanel()
p2.layout = BoxLayout(p2, BoxLayout.Y_AXIS)
p3 = JPanel()
p3.add(JLabel("Range"))
p3.add(self.rangeSpinner)
p2.add(p3)
#p2.add(Box.createVerticalGlue())
p3 = JPanel()
p3.layout = BoxLayout(p3, BoxLayout.Y_AXIS)
label = JLabel("X Position")
label.alignmentX = JLabel.CENTER_ALIGNMENT
p3.add(label)
p3.add(self.positionXSlider)
p2.add(p3)
p.add(p2)
label = JLabel("Z Position")
label.UI = VerticalLabelUI()
p.add(label)
p.add(self.positionZSlider)
self.add(p)
# Finally pack and show
self.pack()
self.show()
def __init__(self):
# Setup controls - buttons first
self.playButton.preferredSize = self.refreshButton.preferredSize
self.playButton.actionCommand = self.PLAY
self.playButton.actionPerformed = self.whenButtonClicked
self.pauseButton.preferredSize = self.refreshButton.preferredSize
self.pauseButton.actionCommand = self.PAUSE
self.pauseButton.actionPerformed = self.whenButtonClicked
self.stopButton.preferredSize = self.refreshButton.preferredSize
self.stopButton.actionCommand = self.STOP
self.stopButton.actionPerformed = self.whenButtonClicked
self.refreshButton.actionCommand = self.REFRESH
self.refreshButton.actionPerformed = self.whenButtonClicked
# Now combobox and text field
self.sourceCombo.itemStateChanged = self.whenSourceChanged
self.updateSourcesList()
self.rangeSpinner.stateChanged = self.whenRangeChanged
# Now sliders
ticksMajor = int(self.posMinMax / 4)
ticksMinor = int(ticksMajor / 5)
labels = Hashtable(3)
labels.put(-self.posMinMax, JLabel("Left"))
labels.put(0, JLabel("Centre"))
labels.put(self.posMinMax, JLabel("Right"))
self.positionXSlider.labelTable = labels
self.positionXSlider.minimum = -self.posMinMax
self.positionXSlider.maximum = self.posMinMax
self.positionXSlider.majorTickSpacing = ticksMajor
self.positionXSlider.minorTickSpacing = ticksMinor
self.positionXSlider.paintTicks = True
self.positionXSlider.paintLabels = True
self.positionXSlider.snapToTicks = True
self.positionXSlider.value = 0
self.positionXSlider.stateChanged = self.whenSliderXChanged
labels = Hashtable(3)
labels.put(-self.posMinMax, JLabel("Behind"))
labels.put(0, JLabel("Centre"))
labels.put(self.posMinMax, JLabel("In-front"))
self.positionYSlider.labelTable = labels
self.positionYSlider.minimum = -self.posMinMax
self.positionYSlider.maximum = self.posMinMax
self.positionYSlider.majorTickSpacing = ticksMajor
self.positionYSlider.minorTickSpacing = ticksMinor
self.positionYSlider.paintTicks = True
self.positionYSlider.paintLabels = True
self.positionYSlider.snapToTicks = True
self.positionYSlider.value = 0
self.positionYSlider.orientation = JSlider.VERTICAL
self.positionYSlider.stateChanged = self.whenSliderYChanged
labels = Hashtable(3)
labels.put(-self.posMinMax, JLabel("Below"))
labels.put(0, JLabel("Centre"))
labels.put(self.posMinMax, JLabel("Above"))
self.positionZSlider.labelTable = labels
self.positionZSlider.minimum = -self.posMinMax
self.positionZSlider.maximum = self.posMinMax
self.positionZSlider.majorTickSpacing = ticksMajor
self.positionZSlider.minorTickSpacing = ticksMinor
self.positionZSlider.paintTicks = True
self.positionZSlider.paintLabels = True
self.positionZSlider.snapToTicks = True
self.positionZSlider.value = 0
self.positionZSlider.orientation = JSlider.VERTICAL
self.positionZSlider.stateChanged = self.whenSliderZChanged
# Setup frame
self.title = "Simple JMRI Audio Player"
self.contentPane.layout = BoxLayout(self.contentPane, BoxLayout.Y_AXIS)
# Add controls to frame - combo & buttons first
p = JPanel(FlowLayout(FlowLayout.LEADING))
p.add(self.sourceCombo)
p.add(self.refreshButton)
p.add(self.playButton)
p.add(self.pauseButton)
p.add(self.stopButton)
#p.add(JLabel("Range"))
#p.add(self.rangeSpinner)
self.add(p)
self.add(Box.createVerticalGlue())
# Now sliders
p = JPanel(FlowLayout(FlowLayout.LEADING))
label = JLabel("Y Position")
label.UI = VerticalLabelUI() # Default behaviour is anti-clockwise
p.add(label)
p.add(self.positionYSlider)
p2 = JPanel()
p2.layout = BoxLayout(p2, BoxLayout.Y_AXIS)
p3 = JPanel()
p3.add(JLabel("Range"))
p3.add(self.rangeSpinner)
p2.add(p3)
#p2.add(Box.createVerticalGlue())
p3 = JPanel()
p3.layout = BoxLayout(p3, BoxLayout.Y_AXIS)
label = JLabel("X Position")
label.alignmentX = JLabel.CENTER_ALIGNMENT
p3.add(label)
p3.add(self.positionXSlider)
p2.add(p3)
p.add(p2)
label = JLabel("Z Position")
label.UI = VerticalLabelUI()
p.add(label)
p.add(self.positionZSlider)
self.add(p)
# Finally pack and show
self.pack()
self.show()
