• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

diff: Preferences/ConfigurationPages/EditorStylesPage.ui

Preferences/ConfigurationPages/EditorStylesPage.ui

changeset 262

f983acadf76c

parent 230

2cde09c26384

child 330

4b4f242bf3f6

child 681

9b86ddc7bb82