-
Notifications
You must be signed in to change notification settings - Fork 10
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
Move line numbers in arabic pane to right of screen #327
Comments
I have looked into this, but it doesn't appear to be straightforward. In the The main problem is that the pref_size = Dimension(1, 500)
self.edit_area.setPreferredSize(pref_size)
self.container = JScrollPane(self.edit_area)
outer_container = JPanel()
outer_container.setLayout(BorderLayout())
outer_container.add(self.container, BorderLayout.CENTER)
outer_container.add(self.line_numbers_area, BorderLayout.EAST)
outer_container.setPreferredSize(pref_size)
self.add(outer_container, BorderLayout.CENTER) In this way, I'll leave the branch here for reference in case anyone will want to have a look in the future. |
According to this answer, switching the orientation of the Looking at it more, the |
I'm not familiar, but googling for Arabic text editors it seems that some of them do have scroll bar to the left, but not all. |
Another (untested!) possible solution, with a variant of the |
Well, it turned out that simply setting the orientation of the container of the Arabic line numbers to right-to-left was sufficient. I'm going to open a pull request |
This may require modifying the
TextLineNumber
Java class.The text was updated successfully, but these errors were encountered: