Changeset e62edc1c99d9d7080abc649abadb54d8966f1f01
- Timestamp:
- 01/01/08 22:20:02 (5 years ago)
- Author:
- Armin Burgmeier <armin@…>
- Parents:
- 356d0fd89fccbd02511a5c283d752ae7dd2ff10f
- Children:
- c3214faaa588864257c9bded1f24d67320296f5e, 2505a03b52d5a54dcd4b3aacdc062ff695168939
- git-committer:
- Armin Burgmeier <armin@0x539.de> / 2008-01-01T21:20:02Z+0000
- Message:
-
2008-01-01 Armin Burgmeier <armin@…>
- src/preferencesdialog.cpp: Add some spacing to the document
management option group.
- Files:
-
Legend:
- Unmodified
- Added
- Removed
-
|
rcfe2981
|
re62edc1
|
|
| | 1 | 2008-01-01 Armin Burgmeier <armin@0x539.de> |
| | 2 | |
| | 3 | * src/preferencesdialog.cpp: Add some spacing to the document |
| | 4 | management option group. |
| | 5 | |
| 1 | 6 | 2008-01-01 Philipp Kern <phil@0x539.de> |
| 2 | 7 | |
-
|
r3752fd8
|
re62edc1
|
|
| 312 | 312 | |
| 313 | 313 | m_btn_auto_open.set_active(auto_open); |
| | 314 | m_box_documents.set_spacing(5); |
| | 315 | m_box_documents.set_border_width(5); |
| 314 | 316 | m_box_documents.pack_start(m_btn_auto_open, Gtk::PACK_SHRINK); |
| 315 | 317 | m_frame_documents.add(m_box_documents); |
