Commit 471c4ef0 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Update version

parent 18b2e34c
......@@ -141,9 +141,10 @@ The background pattern was downloaded from www.subtlepatterns.com
Changelog
=========
1.3.9 (01/2016)
1.3.9/10 (01/2016)
- Checker verifies that decision coverage is complete on Real and Boolean
types
- F3 generates Ada code
1.3.8 (01/2016)
- Fix logging when LLVM is not installed
......
......@@ -117,7 +117,7 @@ except ImportError:
__all__ = ['opengeode', 'SDL_Scene', 'SDL_View', 'parse']
__version__ = '1.3.9'
__version__ = '1.3.10'
if hasattr(sys, 'frozen'):
# Detect if we are running on Windows (py2exe-generated)
......@@ -1315,8 +1315,9 @@ class SDL_View(QtGui.QGraphicsView, object):
self.scale(1.2, 1.2)
elif event.matches(QtGui.QKeySequence.Save):
self.save_diagram()
elif (event.key() == Qt.Key_G and
elif event.key() == Qt.Key_F3 or (event.key() == Qt.Key_G and
event.modifiers() == Qt.ControlModifier):
# F3 or Ctrl-G to generate Ada code
self.generate_ada()
elif event.key() == Qt.Key_F7:
self.check_model()
......@@ -1951,8 +1952,8 @@ class OG_MainWindow(QtGui.QMainWindow, object):
# get the messages list window (to display errors and warnings)
# it is a QtGui.QListWidget
msg_dock = self.findChild(QtGui.QDockWidget, 'msgDock')
msg_dock.setWindowTitle('Use F7 to check the model'
' or update the Data view')
msg_dock.setWindowTitle('Use F7 to check the model or update the '
'Data view, and F3 to generate Ada code')
msg_dock.setStyleSheet('QDockWidget::title {background: lightgrey;}')
messages = self.findChild(QtGui.QListWidget, 'messages')
messages.addItem('Welcome to OpenGEODE.')
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment