elements.py 2.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102
  1. import justpy as jp
  2. from typing import List
  3. from contextlib import contextmanager
  4. import asyncio
  5. import time
  6. from utils import handle_exceptions, provide_arguments
  7. class Group:
  8. def label(self, text) -> jp.Div:
  9. return jp.Div(text=text, a=self.view, classes='')
  10. def button(self, text, on_click=None) -> jp.Button:
  11. b = jp.Button(text=text, a=self.view, classes='bg-blue-500 hover:bg-blue-700 text-white font-bold py-2 px-4 rounded')
  12. if on_click is not None:
  13. b.on('click', handle_exceptions(provide_arguments(on_click)))
  14. return b
  15. def checkbox(self, text=None, on_change=None) -> jp.Input:
  16. d = jp.Div(a=self.view, classes='flex gap-4')
  17. c = jp.Input(a=d, type='checkbox', classes='form-checkbox mt-1 ml-4')
  18. if text is not None:
  19. jp.Div(text=text, a=d)
  20. if on_change is not None:
  21. c.on('change', handle_exceptions(provide_arguments(on_change, 'checked')))
  22. return d
  23. def select(self, options: List[str], value=None, on_change=None) -> jp.Input:
  24. s = jp.Select(classes='p-2 border rounded', a=self.view, value=value)
  25. if on_change is not None:
  26. s.on('change', handle_exceptions(provide_arguments(on_change, 'value')))
  27. [ jp.Option(value=option, text=option, a=s) for option in options]
  28. return s
  29. @contextmanager
  30. def plot(self):
  31. yield
  32. jp.Matplotlib(a=self.view)
  33. @contextmanager
  34. def card(self):
  35. yield Card(self)
  36. @contextmanager
  37. def column(self):
  38. yield Column(self)
  39. @contextmanager
  40. def row(self):
  41. yield Row(self)
  42. def timer(self, inverval, callback):
  43. async def loop():
  44. while True:
  45. start = time.time()
  46. handle_exceptions(callback)()
  47. jp.run_task(self.view.update())
  48. dt = time.time() - start
  49. await asyncio.sleep(inverval - dt)
  50. jp.run_task(loop())
  51. class Page(Group):
  52. def __init__(self):
  53. self.view = jp.WebPage(delete_flag=False, body_classes='m-4', title='Nice GUI', favicon='favicon.png')
  54. class Card(Group):
  55. def __init__(self, parent) -> None:
  56. self.parent = parent
  57. self.view = jp.Div(a=parent.view, classes='p-4 flex flex-col gap-4 items-start rounded shadow-lg')
  58. class Column(Group):
  59. def __init__(self, parent) -> None:
  60. self.parent = parent
  61. self.view = jp.Div(a=parent.view, classes='flex flex-col gap-4 items-start')
  62. class Row(Group):
  63. def __init__(self, parent) -> None:
  64. self.parent = parent
  65. self.view = jp.Div(a=parent.view, classes='flex flex-row flex-wrap gap-4 items-start')