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.

Sign up for GitHub

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

Jump to bottom

Minor Tweaks and Fixes #306

Merged
merged 8 commits into from Jun 11, 2020
Merged

Minor Tweaks and Fixes #306

merged 8 commits into from Jun 11, 2020

Conversation

vkbo
Copy link
Owner

@vkbo vkbo commented Jun 11, 2020 •
edited

This PR:

  • Makes the logger output a bit more complete, making it possible to see the beginning and end of various stages of startup.
  • Use frameWidth, not lineWidth, to find the origin position of the document headers. The frameWidth follows the frame border style, lineWidth does not.
  • Split the document header class into a separate one for editor and viewer.
  • Moved the viewer classes to the docviewer.py file.
  • Moved the editor classes to the doceditor.py file.
  • Improved the layout of the headers and footers a bit.
  • Replaced the reference icon with an "@" icon rather than the bookmark icon.
  • Fixes issue Clicking a tag when viewer is closed does nothing #294.

@vkbo vkbo merged commit b6e7220 into master Jun 11, 2020
@vkbo vkbo mentioned this pull request Jun 11, 2020
Closed
@vkbo vkbo deleted the tweaks branch June 11, 2020 16:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@vkbo