#924 Made MDI and undocking options visible again

Browse Source

master

Marius Kintel 2014-09-04 12:18:46 -04:00

parent c4485cfdeb

commit 0d304f7e43

1 changed files with 489 additions and 534 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1023

src/Preferences.ui

View File

File diff suppressed because it is too large Load Diff