def __init__(self, app):
self.app = app
DialogWindow.__init__(
self, modal=False,
minimize=True, maximize=True, close=True,
)
self.closeButton = Button("Close", self)
self.saveButton = Button("Save", self)
self.setText("Sample DialogWindow with embedded image")
self.msg = HTML("", True)
global _editor_id
_editor_id += 1
editor_id = "editor%d" % _editor_id
#self.ht = HTML("", ID=editor_id)
self.txt = TextArea(Text="", VisibleLines=30, CharacterWidth=80,
ID=editor_id)
dock = DockPanel()
dock.setSpacing(4)
hp = HorizontalPanel(Spacing="5")
hp.add(self.saveButton)
hp.add(self.closeButton)
dock.add(hp, DockPanel.SOUTH)
dock.add(self.msg, DockPanel.NORTH)
dock.add(self.txt, DockPanel.CENTER)
dock.setCellHorizontalAlignment(hp, HasAlignment.ALIGN_RIGHT)
dock.setCellWidth(self.txt, "100%")
dock.setWidth("100%")
self.setWidget(dock)
self.editor_id = editor_id
self.editor_created = False
def __init__(self, theorem, **kwargs):
DialogWindow.__init__(self, modal=True, close=True)
self.theorem = theorem
v = VerticalPanel()
v.setWidth(300)
# v.setHeight(500)
self.setText("save")
self.setPopupPosition(100, 100)
self.setStyleAttribute("background-color", "#ffffff")
self.setStyleAttribute("color", "red")
self.setStyleAttribute("border-width", "5px")
self.setStyleAttribute("border-style", "solid")
self.im = Image()
self.im.setUrl(latex_to_url(self.theorem.formula.to_latex()))
v.add(self.im)
h = HorizontalPanel()
self.radio = RadioButton("group1", "Existing folder:")
h.add(self.radio)
self.list = ListBox()
self.list.setVisibleItemCount(1)
for f in Theorem.get_all_folders():
self.list.addItem(f)
h.add(self.list)
v.add(h)
h = HorizontalPanel()
h.add(RadioButton("group1", "New folder:"))
self.radio.setChecked(True)
self.textbox = TextBox()
h.add(self.textbox)
v.add(h)
v.add(Button("Done", self.done_click))
self.add(v)
def __init__(self, operations, after, **kwargs):
DialogWindow.__init__(self, modal=True, close=True)
self.formula = Formula([])
self.after = after
if "type" in kwargs:
self.type = kwargs["type"]
else:
self.type = 'rel'
self.set_styles()
def op_button_click(op):
def aio():
self.add_op(op)
return aio
self.ops_with_buttons = [{
"op": op,
"button": Button(op.name, op_button_click(op))
} for op in operations]
for owb in self.ops_with_buttons:
self.add_button(owb["button"])
self.var = list()
self.is_clicked = list()
self.textbox = list()
self.set_variables((0 if self.type == 'exp' else 5))
def __init__(self, operations,after,type='rel'):
DialogWindow.__init__(self, modal=True, close=True)
self.formula = Formula([])
self.after=after
left = 100
top = 100
self.ops_with_buttons = [{"op": op, "button": Button(op.name, self)} for op in operations if op.available]
dock = DockPanel()
dock.setSpacing(3)
for owb in self.ops_with_buttons:
dock.add(owb['button'], DockPanel.NORTH)
dock.setWidth("300")
self.image = Image(latex_to_url(self.formula.fill_with_placeholders().to_latex()))
dock.add(self.image, DockPanel.EAST)
dock.setCellHorizontalAlignment(self.image, HasAlignment.ALIGN_TOP)
self.doneButton=Button("Done",self)
self.doneButton.setEnabled(False)
dock.add(self.doneButton,DockPanel.SOUTH)
dock.add(HTML(""),DockPanel.CENTER)
self.setText("opkop")
self.setPopupPosition(left, top)
self.setStyleAttribute("background-color", "#ffffff")
self.setStyleAttribute("color", "blue")
self.setStyleAttribute("border-width", "5px")
self.setStyleAttribute("border-style", "solid")
self.setWidget(dock)
def __init__(self, **kwargs):
DialogWindow.__init__(self, modal=True, close=True)
v = VerticalPanel()
v.setWidth(300)
# v.setHeight(500)
self.setText("definition")
self.setPopupPosition(100, 100)
self.setStyleAttribute("background-color", "#ffffff")
self.setStyleAttribute("color", "#9847a2")
self.setStyleAttribute("border-width", "5px")
self.setStyleAttribute("border-style", "solid")
h = HorizontalPanel()
self.textbox_name = TextBox()
h.add(Label("name"))
h.add(self.textbox_name)
v.add(h)
h = HorizontalPanel()
self.textbox_scheme = TextBox()
h.add(Label("print scheme"))
h.add(self.textbox_scheme)
v.add(h)
self.add(v)
self.theorems = list()
self.radios = list()
for t in Theorem.theorems:
if t.formula.is_in_unique_form():
self.theorems.append(t)
self.radios.append(RadioButton("group1", ""))
h = HorizontalPanel()
h.add(self.radios[-1])
im = Image()
im.setUrl(latex_to_url(t.formula.to_latex()))
h.add(im)
v.add(h)
v.add(Button("Done", self.done_click))
def __init__(self, theorem, **kwargs):
DialogWindow.__init__(self, modal=True, close=True)
self.theorem=theorem
v = VerticalPanel()
v.setWidth(300)
# v.setHeight(500)
self.setText("save")
self.setPopupPosition(100, 100)
self.setStyleAttribute("background-color", "#ffffff")
self.setStyleAttribute("color", "red")
self.setStyleAttribute("border-width", "5px")
self.setStyleAttribute("border-style", "solid")
self.im=Image()
self.im.setUrl(latex_to_url(self.theorem.formula.to_latex()))
v.add(self.im)
h=HorizontalPanel()
self.radio=RadioButton("group1", "Existing folder:")
h.add(self.radio)
self.list = ListBox()
self.list.setVisibleItemCount(1)
for f in Theorem.get_all_folders():
self.list.addItem(f)
h.add(self.list)
v.add(h)
h=HorizontalPanel()
h.add(RadioButton("group1", "New folder:"))
self.radio.setChecked(True)
self.textbox=TextBox()
h.add(self.textbox)
v.add(h)
v.add(Button("Done",self.done_click))
self.add(v)
def __init__(self, baseURL):
DialogWindow.__init__(
self,
modal=False,
minimize=True,
maximize=True,
close=True,
)
closeButton = Button("Close", self)
imgname = self.images.pop(0)
self.images.append(imgname)
self.setText("Sample DialogWindow with embedded image")
img = Image("%srembrandt/%s" % (baseURL, imgname))
msg = HTML(
"<center>This is an example of a standard dialog box component.<br> You can put pretty much anything you like into it,<br>such as the following image '%s':</center>"
% imgname, True)
dock = DockPanel()
dock.setSpacing(4)
dock.add(closeButton, DockPanel.SOUTH)
dock.add(msg, DockPanel.NORTH)
dock.add(img, DockPanel.CENTER)
dock.setCellHorizontalAlignment(closeButton, HasAlignment.ALIGN_RIGHT)
dock.setCellWidth(img, "100%")
dock.setWidth("100%")
self.setWidget(dock)
def __init__(self, app):
self.app = app
DialogWindow.__init__(
self,
modal=False,
minimize=True,
maximize=True,
close=True,
)
self.closeButton = Button("Close", self)
self.saveButton = Button("Save", self)
self.setText("Sample DialogWindow with embedded image")
self.msg = HTML("", True)
global _editor_id
_editor_id += 1
editor_id = "editor%d" % _editor_id
#self.ht = HTML("", ID=editor_id)
self.txt = TextArea(Text="",
VisibleLines=30,
CharacterWidth=80,
ID=editor_id)
dock = DockPanel()
dock.setSpacing(4)
hp = HorizontalPanel(Spacing="5")
hp.add(self.saveButton)
hp.add(self.closeButton)
dock.add(hp, DockPanel.SOUTH)
dock.add(self.msg, DockPanel.NORTH)
dock.add(self.txt, DockPanel.CENTER)
dock.setCellHorizontalAlignment(hp, HasAlignment.ALIGN_RIGHT)
dock.setCellWidth(self.txt, "100%")
dock.setWidth("100%")
self.setWidget(dock)
self.editor_id = editor_id
self.editor_created = False
def __init__(self, baseURL):
DialogWindow.__init__(
self, modal=False,
minimize=True, maximize=True, close=True,
)
closeButton = Button("Close", self)
imgname = self.images.pop(0)
self.images.append(imgname)
self.setText("Sample DialogWindow with embedded image")
img = Image("%srembrandt/%s" % (baseURL, imgname))
msg = HTML("<center>This is an example of a standard dialog box component.<br> You can put pretty much anything you like into it,<br>such as the following image '%s':</center>" % imgname, True)
dock = DockPanel()
dock.setSpacing(4)
dock.add(closeButton, DockPanel.SOUTH)
dock.add(msg, DockPanel.NORTH)
dock.add(img, DockPanel.CENTER)
dock.setCellHorizontalAlignment(closeButton, HasAlignment.ALIGN_RIGHT)
dock.setCellWidth(img, "100%")
dock.setWidth("100%")
self.setWidget(dock)
