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

Scripts and sub dialogue for gt Table #8615

Closed
wants to merge 13 commits into from

Conversation

Vitalis95
Copy link
Contributor

Fixes partially #8541
@rdstern , this is @Fidel365 pull request, I managed to solve the merge conflicts

@rdstern
Copy link
Collaborator

rdstern commented Nov 3, 2023

@lilyclements we have - at last - got the beginnings of the table-sub-dialog to test.
a) Bits do seem to work
b) I notice the Font button only appears when you click somewhere after entering, say, a title. I think it could be visible always?
c) I tried stub, without knowing whether my table was suitable. The footnote appeared, but not the stub label?

image

@lilyclements can you check, and then can you suggest the next steps, or do we need to discuss first. @Patowhiz is going to do the font part, hopefully starting next week?

@Vitalis95
Copy link
Contributor Author

@rdstern , take a look

@N-thony
Copy link
Collaborator

N-thony commented Dec 18, 2023

@rdstern , take a look

@rdstern could you review this now?

@Vitalis95
Copy link
Contributor Author

@rdstern , have a look at it now

@rdstern
Copy link
Collaborator

rdstern commented Jan 9, 2024

@Vitalis95 I was pleased to see this is working again, and with the themes which is extensive. @Patowhiz has now taken over the tables stuff so leave this one parked for him now.

@Patowhiz
Copy link
Contributor

This has now been replaced by PR #8662

@rdstern
Copy link
Collaborator

rdstern commented Jun 15, 2024

@Patowhiz should this be closed?

@Patowhiz Patowhiz mentioned this pull request Jul 25, 2024
@rdstern
Copy link
Collaborator

rdstern commented Sep 19, 2024

@Patowhiz should this pull request be closed?

@Patowhiz
Copy link
Contributor

@Vitalis95 kindly close this PR

@rdstern
Copy link
Collaborator

rdstern commented Oct 13, 2024

@Vitalis95 I am closing this. Ok?

@rdstern rdstern closed this Oct 13, 2024
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.

5 participants