Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove usage of session variable glpipdffont #19169

Conversation

RomainLvr
Copy link
Contributor

Checklist before requesting a review

Please delete options that are not relevant.

  • I have read the CONTRIBUTING document.
  • I have performed a self-review of my code.
  • I have added tests that prove my fix is effective or that my feature works.
  • This change requires a documentation update.

Description

@RomainLvr RomainLvr requested a review from Rom1-B March 10, 2025 10:50
@RomainLvr RomainLvr self-assigned this Mar 10, 2025
$fontsize = 8;
if (isset($_SESSION['glpipdffont']) && $_SESSION['glpipdffont']) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm not sure we should remove that (no idea if it's used by plugins, but that may). At least, we probably should keep in bugfixes versions.

Copy link
Member

@cedric-anne cedric-anne left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Users can customize their font. For some languages, the dejavusans may not provide all symbols.

IMHO, we should not remove the ability to customize the used font.

@RomainLvr RomainLvr closed this Mar 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants