M Fahru ed42d0c9ca Make the switch to editor/pdf button to have the same height (#12110) ...

GitOrigin-RevId: 5ceaad73c6c6b74ce2b6e8bbc79563bfad6ab34b

2023-07-17 10:26:34 +00:00

..

compile-time-warning.tsx

…

detach-compile-button-wrapper.js

…

detach-compile-button.tsx

…

detach-synctex-control.js

…

faster-compiles-feedback.tsx

…

pdf-clear-cache-button.js

…

pdf-code-check-failed-notice.js

…

pdf-compile-button.js

…

pdf-download-files-button.js

…

pdf-file-list.js

…

pdf-hybrid-code-check-button.js

…

pdf-hybrid-download-button.tsx

…

pdf-hybrid-logs-button.tsx

…

pdf-js-viewer.js

…

pdf-log-entry-content.js

…

pdf-log-entry-raw-content.js

…

pdf-log-entry.js

…

pdf-logs-entries.js

…

pdf-logs-viewer.js

…

pdf-orphan-refresh-button.js

…

pdf-preview-detached-root.js

…

pdf-preview-error-boundary-fallback.js

…

pdf-preview-error.js

…

pdf-preview-hybrid-toolbar.js

…

pdf-preview-messages.tsx

…

pdf-preview-pane.js

…

pdf-preview.js

…

pdf-synctex-controls.js

…

pdf-validation-issue.js

…

pdf-viewer-controls.js

…

pdf-viewer.js

…

stop-on-first-error-prompt.js

…

switch-to-editor-button.tsx

…

timeout-upgrade-prompt.js

…