gitoriaLog in with ident

components

All repositories: gitoria

ReadmeCodePull requestsReleasesTicketsSettings
Commit0994575009945750components: Hybriel master 06617221 (plugin allocators 3a781359 + 413f60e4, http1 773de63e); gate 220/0mre09945750/components/month-view/month-view.hl

7.3 KB

  1. // month-view.hl — THE MONTH VIEW: prev / next buttons on top, the month's name and the year between them, the
  2. // days below (weeks start on Monday; the days of the neighbouring months are dimmed; today is marked).
  3. // All Hybriel, no .js: the date arithmetic is written here (plain integers), so it runs the same on the server (first
  4. // render) and in the browser (paging). What only the browser knows — today in the user's time zone, the month and
  5. // weekday names in the user's language (`Date` and `Intl` are browser globals of View handlers) — is read the moment
  6. // the pointer, a finger or the keyboard reaches the month view; until then the server's UTC date and English names show.
  7. // The page reads `year` and `month` (1–12) as its own members. USE ONE PER PAGE: a composed component's
  8. // members are the page's state (COMPONENTS.md §12).
  9. import { serverToday } from './clock.hl'
  10. String today = serverToday()
  11. Number year = toNumber(today.slice(0, 4))
  12. Number month = toNumber(today.slice(5, 7))
  13. Hybrid monthNames = ['January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October', 'November', 'December']
  14. Hybrid weekdayNames = ['Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat', 'Sun']
  15. String title = monthNames[month - 1] + ' ' + year
  16. Hybrid weekdays = weekdayNames
  17. Hybrid days = build(year, month, today)
  18. Number seen = 0
  19. Number paged = 0
  20. String prevLabel = 'Previous month'
  21. String nextLabel = 'Next month'
  22. pad4(n) { return ('' + (10000 + n)).slice(1) }
  23. pad(n) { return n < 10 ? '0' + n : '' + n }
  24. leap(y) { return (y % 4 == 0 && y % 100 != 0) || y % 400 == 0 }
  25. daysIn(y, m) {
  26. if (m == 2) { return leap(y) ? 29 : 28 }
  27. if (m == 4 || m == 6 || m == 9 || m == 11) { return 30 }
  28. return 31
  29. }
  30. // 0 = Monday … 6 = Sunday (Sakamoto's method gives 0 = Sunday)
  31. weekdayOf(y, m, d) {
  32. let t = [0, 3, 2, 5, 0, 3, 5, 1, 4, 6, 2, 4]
  33. let yy = m < 3 ? y - 1 : y
  34. let sun = (yy + (yy - yy % 4) / 4 - (yy - yy % 100) / 100 + (yy - yy % 400) / 400 + t[m - 1] + d) % 7
  35. return (sun + 6) % 7
  36. }
  37. // 42 days (six weeks of seven), so the view keeps its height from month to month
  38. build(y, m, todayText) {
  39. let py = m == 1 ? y - 1 : y
  40. let pm = m == 1 ? 12 : m - 1
  41. let ny = m == 12 ? y + 1 : y
  42. let nm = m == 12 ? 1 : m + 1
  43. let lead = weekdayOf(y, m, 1)
  44. let n = daysIn(y, m)
  45. let pn = daysIn(py, pm)
  46. let out = []
  47. let day = 1 - lead
  48. let w = 0
  49. while (w < 6) {
  50. let i = 0
  51. while (i < 7) {
  52. let cy = y
  53. let cm = m
  54. let cd = day
  55. let cls = ''
  56. if (day < 1) { cy = py cm = pm cd = pn + day cls = 'outside' }
  57. if (day > n) { cy = ny cm = nm cd = day - n cls = 'outside' }
  58. let date = cy + '-' + pad(cm) + '-' + pad(cd)
  59. if (date == todayText) { cls = 'today' }
  60. out.push({ n = cd date = date cls = cls })
  61. day = day + 1
  62. i = i + 1
  63. }
  64. w = w + 1
  65. }
  66. return out
  67. }
  68. show(y, m) {
  69. year = y
  70. month = m
  71. title = monthNames[m - 1] + ' ' + y
  72. days = build(y, m, today)
  73. }
  74. // Colours: the semantic WorldAPI tokens as css variables, each with its palette value as fallback, so a copy of this file is styled in an app that declares no tokens (an app that imports shared/tokens.hl in its styles.hl and sets --color-accent wins). A component's browser module cannot import tokens.hl itself.
  75. Style {
  76. '@keyframes month-view-mount' { 'from' { opacity = '.999' } to { opacity = '1' } }
  77. 'month-view' { display = 'grid' gap = '.5rem' animation = 'month-view-mount 100ms infinite' }
  78. 'month-view header' { display = 'flex' alignItems = 'center' justifyContent = 'space-between' gap = '.5rem' }
  79. 'month-view h2' { margin = '0' fontSize = '1.1rem' color = 'var(--color-text-strong, rgb(245, 250, 255))' textAlign = 'center' flex = '1' textTransform = 'capitalize' }
  80. 'month-view ol' { display = 'grid' gridTemplateColumns = 'repeat(7, minmax(0, 1fr))' margin = '0' padding = '0' listStyle = 'none' }
  81. 'month-view button' { font = 'inherit' fontWeight = '600' padding = '.4rem .9rem' color = 'var(--color-text, rgb(195, 200, 205))' background = 'transparent' border = '1px solid var(--color-border, rgb(70, 75, 80))' borderRadius = '.4rem' cursor = 'pointer' }
  82. 'month-view button:hover' { background = 'var(--color-surface, rgb(35, 40, 45))' }
  83. '#month-weekdays li' { padding = '.3rem 0' fontSize = '.8rem' fontWeight = '600' color = 'var(--color-text-muted, rgb(145, 150, 155))' textAlign = 'center' }
  84. '#month-days li' { minHeight = '3rem' padding = '.3rem' border = '1px solid var(--color-border, rgb(70, 75, 80))' textAlign = 'right' background = 'var(--color-surface, rgb(35, 40, 45))' }
  85. '#month-days time' { color = 'var(--color-text, rgb(195, 200, 205))' fontSize = '.95rem' }
  86. '#month-days li.outside' { background = 'var(--color-background, rgb(25, 30, 35))' }
  87. '#month-days li.outside time' { color = 'var(--color-text-muted, rgb(145, 150, 155))' }
  88. '#month-days li.today' { outline = '2px solid var(--color-accent, #569bd4)' outlineOffset = '-2px' }
  89. '#month-days li.today time' { color = 'var(--color-accent, #569bd4)' fontWeight = '800' }
  90. '@media (min-width: 40rem)' {
  91. '#month-days li' { minHeight = '5rem' }
  92. }
  93. }
  94. View {
  95. monthView { on animationiteration(e) { emit monthMount(e) } on pointerover(e) { emit monthEnv(e) } on focusin(e) { emit monthEnv(e) } on touchstart(e) { emit monthEnv(e) }
  96. header {
  97. button { id = "month-prev" type = "button" class = "quiet" title = prevLabel "‹" on click(e) { emit monthPrev(e) } }
  98. h2 { id = "month-title" title }
  99. button { id = "month-next" type = "button" class = "quiet" title = nextLabel "›" on click(e) { emit monthNext(e) } }
  100. }
  101. ol { id = "month-weekdays" for (name of weekdays) { li { name } } }
  102. ol { id = "month-days" for (d of days) { li { class = d.cls time { datetime = d.date d.n } } } }
  103. input { id = "month-view-goto" type = "hidden" on change(e) { emit monthGoto(e.target.value) } }
  104. }
  105. }
  106. on monthPrev(e) {
  107. browserEnv()
  108. paged = 1
  109. show(month == 1 ? year - 1 : year, month == 1 ? 12 : month - 1)
  110. }
  111. on monthNext(e) {
  112. browserEnv()
  113. paged = 1
  114. show(month == 12 ? year + 1 : year, month == 12 ? 1 : month + 1)
  115. }
  116. // the mount hook (a 100 ms CSS animation fires once the page is live): the browser's today is read at load, not on first touch
  117. on monthMount(e) {
  118. e.target.style.animationName = 'none'
  119. browserEnv()
  120. }
  121. // the browser's today and language, once: today follows the user's time zone, the names their language
  122. on monthEnv(e) { browserEnv() }
  123. browserEnv() {
  124. if (seen == 1) { return null }
  125. seen = 1
  126. let now = new Date()
  127. let lang = navigator.language != null ? navigator.language : 'en'
  128. today = pad4(now.getFullYear()) + '-' + pad(now.getMonth() + 1) + '-' + pad(now.getDate())
  129. let mf = Intl.DateTimeFormat(lang, { month = 'long' })
  130. let df = Intl.DateTimeFormat(lang, { weekday = 'short' })
  131. let ms = []
  132. let ds = []
  133. let i = 0
  134. while (i < 12) { ms.push(mf.format(new Date(Date.UTC(2024, i, 15, 12)))) i = i + 1 }
  135. i = 0
  136. while (i < 7) { ds.push(df.format(new Date(Date.UTC(2024, 0, 1 + i, 12)))) i = i + 1 }
  137. monthNames = ms
  138. weekdayNames = ds
  139. weekdays = ds
  140. let de = lang.slice(0, 2) == 'de'
  141. prevLabel = de ? 'Voriger Monat' : 'Previous month'
  142. nextLabel = de ? 'Nächster Monat' : 'Next month'
  143. // the month shown follows the corrected today only while the user has not paged yet
  144. if (paged == 0) { show(toNumber(today.slice(0, 4)), toNumber(today.slice(5, 7))) } else { show(year, month) }
  145. }
  146. // from a host script (the date picker): "YYYY-MM-DD" → show that date's month
  147. on monthGoto(text) {
  148. paged = 1
  149. show(toNumber(text.slice(0, 4)), toNumber(text.slice(5, 7)))
  150. }

Branches

Latest commits

  • 09945750components: Hybriel master 06617221 (plugin allocators 3a781359 + 413f60e4, http1 773de63e); gate 220/0mre
  • ede4d19acomponents: Hybriel master 190aa11d (fc838894 GC correctness, #126 closure scopes, #127); gate 220/0mre
  • 2bb9a935components: Hybriel master 8efba065 (re-vendor round 069: #126 memory, #48 lambda copy)mre
  • e4f01768antcolony#40: mission references point to the moved missionsmre
  • d32b44e2antcolony#40: history (LOG.md), worker briefs (missions/) and reports moved here from antcolony, numbered per project; old numbers in antcolony docs/mission-map.mdmre
  • 0fb80b57components: Hybriel master ff51cf46 (re-vendor round)mre
  • 57408b6ecomponents#14: installable app (manifest, service worker, offline index), own iconmre
  • 317bd09fdeploy.sh: back up live storage/.sessions/.env before every deploy (newest 5 kept)mre
  • becbd59bcomponents#13: modal dialog (<dialog> based, focus wrap, backdrop/Esc/x close with reason, scroll lock, footer buttons)mre
  • 367dd19adeploy.sh: never send .git or .gitignore to Byrodinmre
  • 4b4dabe5State of 2026-09-27, before the move to gitoriamre