|
@@ -1,123 +0,0 @@
|
|
|
-import classNames from 'classnames'
|
|
|
|
|
-import { useState, useRef, MouseEventHandler } from 'react'
|
|
|
|
|
-import { useTranslation } from 'react-i18next'
|
|
|
|
|
-import useResizeObserver from '../hooks/use-resize-observer'
|
|
|
|
|
-import OLTooltip from '@/shared/components/ol/ol-tooltip'
|
|
|
|
|
-import OLButton from '@/shared/components/ol/ol-button'
|
|
|
|
|
-import MaterialIcon from '@/shared/components/material-icon'
|
|
|
|
|
-import { ErrorLevel, SourceLocation } from '@/features/pdf-preview/util/types'
|
|
|
|
|
-
|
|
|
|
|
-function PreviewLogEntryHeader({
|
|
|
|
|
- sourceLocation,
|
|
|
|
|
- level,
|
|
|
|
|
- headerTitle,
|
|
|
|
|
- headerIcon,
|
|
|
|
|
- logType,
|
|
|
|
|
- showSourceLocationLink = true,
|
|
|
|
|
- onSourceLocationClick,
|
|
|
|
|
-}: {
|
|
|
|
|
- headerTitle: string | React.ReactNode
|
|
|
|
|
- level: ErrorLevel
|
|
|
|
|
- headerIcon?: React.ReactElement
|
|
|
|
|
- logType?: string
|
|
|
|
|
- sourceLocation?: SourceLocation
|
|
|
|
|
- showSourceLocationLink?: boolean
|
|
|
|
|
- onSourceLocationClick?: MouseEventHandler<HTMLButtonElement>
|
|
|
|
|
-}) {
|
|
|
|
|
- const { t } = useTranslation()
|
|
|
|
|
- const logLocationSpanRef = useRef<HTMLSpanElement>(null)
|
|
|
|
|
- const [locationSpanOverflown, setLocationSpanOverflown] = useState(false)
|
|
|
|
|
-
|
|
|
|
|
- useResizeObserver(
|
|
|
|
|
- logLocationSpanRef,
|
|
|
|
|
- locationSpanOverflown,
|
|
|
|
|
- checkLocationSpanOverflow
|
|
|
|
|
- )
|
|
|
|
|
-
|
|
|
|
|
- const file = sourceLocation ? sourceLocation.file : null
|
|
|
|
|
- const line = sourceLocation ? sourceLocation.line : null
|
|
|
|
|
- const logEntryHeaderClasses = classNames('log-entry-header', {
|
|
|
|
|
- 'log-entry-header-error': level === 'error',
|
|
|
|
|
- 'log-entry-header-warning': level === 'warning',
|
|
|
|
|
- 'log-entry-header-info': level === 'info',
|
|
|
|
|
- 'log-entry-header-typesetting': level === 'typesetting',
|
|
|
|
|
- 'log-entry-header-raw': level === 'raw',
|
|
|
|
|
- 'log-entry-header-success': level === 'success',
|
|
|
|
|
- })
|
|
|
|
|
- const logEntryLocationBtnClasses = classNames('log-entry-header-link', {
|
|
|
|
|
- 'log-entry-header-link-error': level === 'error',
|
|
|
|
|
- 'log-entry-header-link-warning': level === 'warning',
|
|
|
|
|
- 'log-entry-header-link-typesetting': level === 'typesetting',
|
|
|
|
|
- 'log-entry-header-link-raw': level === 'raw',
|
|
|
|
|
- 'log-entry-header-link-info': level === 'info',
|
|
|
|
|
- 'log-entry-header-link-success': level === 'success',
|
|
|
|
|
- })
|
|
|
|
|
- const headerLogLocationTitle = t('navigate_log_source', {
|
|
|
|
|
- location: file + (line ? `, ${line}` : ''),
|
|
|
|
|
- })
|
|
|
|
|
-
|
|
|
|
|
- function checkLocationSpanOverflow(observedElement: ResizeObserverEntry) {
|
|
|
|
|
- const spanEl = observedElement.target
|
|
|
|
|
- const isOverflowing = spanEl.scrollWidth > spanEl.clientWidth
|
|
|
|
|
- setLocationSpanOverflown(isOverflowing)
|
|
|
|
|
- }
|
|
|
|
|
-
|
|
|
|
|
- const locationLinkText =
|
|
|
|
|
- showSourceLocationLink && file ? `${file}${line ? `, ${line}` : ''}` : null
|
|
|
|
|
-
|
|
|
|
|
- // Because we want an ellipsis on the left-hand side (e.g. "...longfilename.tex"), the
|
|
|
|
|
- // `log-entry-header-link-location` class has text laid out from right-to-left using the CSS
|
|
|
|
|
- // rule `direction: rtl;`.
|
|
|
|
|
- // This works most of the times, except when the first character of the filename is considered
|
|
|
|
|
- // a punctuation mark, like `/` (e.g. `/foo/bar/baz.sty`). In this case, because of
|
|
|
|
|
- // right-to-left writing rules, the punctuation mark is moved to the right-side of the string,
|
|
|
|
|
- // resulting in `...bar/baz.sty/` instead of `...bar/baz.sty`.
|
|
|
|
|
- // To avoid this edge-case, we wrap the `logLocationLinkText` in two directional formatting
|
|
|
|
|
- // characters:
|
|
|
|
|
- // * \u202A LEFT-TO-RIGHT EMBEDDING Treat the following text as embedded left-to-right.
|
|
|
|
|
- // * \u202C POP DIRECTIONAL FORMATTING End the scope of the last LRE, RLE, RLO, or LRO.
|
|
|
|
|
- // This essentially tells the browser that, althought the text is laid out from right-to-left,
|
|
|
|
|
- // the wrapped portion of text should follow left-to-right writing rules.
|
|
|
|
|
- const locationLink = locationLinkText ? (
|
|
|
|
|
- <OLButton
|
|
|
|
|
- variant="ghost"
|
|
|
|
|
- className={logEntryLocationBtnClasses}
|
|
|
|
|
- aria-label={headerLogLocationTitle}
|
|
|
|
|
- onClick={onSourceLocationClick}
|
|
|
|
|
- >
|
|
|
|
|
- <MaterialIcon type="link" />
|
|
|
|
|
- <span
|
|
|
|
|
- ref={logLocationSpanRef}
|
|
|
|
|
- className="log-entry-header-link-location"
|
|
|
|
|
- translate="no"
|
|
|
|
|
- >
|
|
|
|
|
- {`\u202A${locationLinkText}\u202C`}
|
|
|
|
|
- </span>
|
|
|
|
|
- </OLButton>
|
|
|
|
|
- ) : null
|
|
|
|
|
-
|
|
|
|
|
- const headerTitleText = logType ? `${logType} ${headerTitle}` : headerTitle
|
|
|
|
|
-
|
|
|
|
|
- return (
|
|
|
|
|
- <div className={logEntryHeaderClasses}>
|
|
|
|
|
- {headerIcon ? (
|
|
|
|
|
- <div className="log-entry-header-icon-container">{headerIcon}</div>
|
|
|
|
|
- ) : null}
|
|
|
|
|
- <h3 className="log-entry-header-title">{headerTitleText}</h3>
|
|
|
|
|
- {locationSpanOverflown && locationLinkText && locationLink ? (
|
|
|
|
|
- <OLTooltip
|
|
|
|
|
- id={locationLinkText}
|
|
|
|
|
- description={locationLinkText}
|
|
|
|
|
- overlayProps={{ placement: 'left' }}
|
|
|
|
|
- tooltipProps={{ className: 'log-location-tooltip', translate: 'no' }}
|
|
|
|
|
- >
|
|
|
|
|
- {locationLink}
|
|
|
|
|
- </OLTooltip>
|
|
|
|
|
- ) : (
|
|
|
|
|
- locationLink
|
|
|
|
|
- )}
|
|
|
|
|
- </div>
|
|
|
|
|
- )
|
|
|
|
|
-}
|
|
|
|
|
-
|
|
|
|
|
-export default PreviewLogEntryHeader
|
|
|