Skip to content

add signma display radio button #121

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
capocchi merged 1 commit into from
May 26, 2020
Merged

add signma display radio button #121

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
29 changes: 23 additions & 6 deletions plugins/blink.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -192,9 +192,13 @@ def blink_manager(*args, **kwargs):
### assign the additionnal status_label string and notify
if frame.status_flag:
status = block.devsModel.getStatus()
state['status_label'] = '('+status+')'
sigma = block.devsModel.getSigma()
if sigma > 10e10:
sigma = "inf"
sigma_str = ","+str(sigma) if frame.sigma_flag else ""
state['status_label'] = '('+status+sigma_str+')'
sender.notify()

### blink frame has been closed
else:
### assign the default color tot the last colored block
Expand Down Expand Up @@ -235,8 +239,9 @@ def __init__(self, *args, **kwds):
self.button_find = wx.Button(self.panel, wx.ID_FIND)
self.button_selectall = wx.Button(self.panel, wx.ID_SELECTALL)
self.txt = wx.TextCtrl(self.panel, style = wx.TE_MULTILINE|wx.TE_READONLY|wx.TE_RICH2)
self.cb1 = wx.CheckBox(self.panel, label=_('Colored Notification'))
self.cb2 = wx.CheckBox(self.panel, label=_('Status Notification'))
self.cb1 = wx.CheckBox(self.panel, label=_('Display activity'))
self.cb2 = wx.CheckBox(self.panel, label=_('Display phase'))
self.cb3 = wx.CheckBox(self.panel, label=_('Display sigma'))

MoveFromParent(self, interval=10, direction='right')

Expand All @@ -247,6 +252,7 @@ def __init__(self, *args, **kwds):
self.flag = True
self.colored_flag = False
self.status_flag = False
self.sigma_flag = False

### to close the frame when this attribute don't change
self.lenght = self.txt.GetNumberOfLines()
Expand All @@ -260,7 +266,8 @@ def __init__(self, *args, **kwds):
self.Bind(wx.EVT_BUTTON, self.OnFindReplace, id=self.button_find.GetId())
self.Bind(wx.EVT_CLOSE, self.OnClose)
self.Bind(wx.EVT_CHECKBOX, self.OnChecked1, id=self.cb1.GetId())
self.Bind(wx.EVT_CHECKBOX, self.OnChecked2, id=self.cb2.GetId())
self.Bind(wx.EVT_CHECKBOX, self.OnChecked2, id=self.cb2.GetId())
self.Bind(wx.EVT_CHECKBOX, self.OnChecked3, id=self.cb3.GetId())

def __set_properties(self):
"""
Expand All @@ -270,7 +277,9 @@ def __set_properties(self):
self.button_clear.SetToolTip(_("Press this button in order to clean the output of the simulation."))
self.button_find.SetToolTip(_("Press this button in order to launch the search window."))
self.cb1.SetToolTip(_("Block is colored depending on the transition function."))
self.cb2.SetToolTip(_("Status of devs model is displayed on the label of block."))
self.cb2.SetToolTip(_("Phase of devs model is displayed below the label of block."))
self.cb3.SetToolTip(_("Sigma of devs model is displayed below the label of block."))

self.button_step.SetDefault()

def __do_layout(self):
Expand All @@ -291,6 +300,7 @@ def __do_layout(self):
hbox4 = wx.BoxSizer(wx.HORIZONTAL)
hbox4.Add(self.cb1)
hbox4.Add(self.cb2, flag=wx.LEFT, border=10)
hbox4.Add(self.cb3, flag=wx.LEFT, border=10)

# cb3 = wx.CheckBox(self.panel, label='Non-Project classes')
# hbox4.Add(cb3, flag=wx.LEFT, border=10)
Expand All @@ -315,6 +325,13 @@ def OnChecked2(self, evt):
self.status_flag = cb.GetValue()
#print(cb.GetLabel(),' is clicked',cb.GetValue())

def OnChecked3(self, evt):
"""
"""
cb = evt.GetEventObject()
self.sigma_flag = cb.GetValue()
#print(cb.GetLabel(),' is clicked',cb.GetValue())

def OnStep(self, evt):
""" Forward button has been ckicled.
"""
Expand Down