Changeset f59cf42704fb8a21855b1804351c12e14c3635c0
- Timestamp:
- 01/06/07 23:41:45 (6 years ago)
- Author:
- Philipp Kern <phil@…>
- Parents:
- 072e533640b98b95f79409cee6bf12c3cc42c05a
- Children:
- 94cdfed1f969f9c05d36698f36e7673ca3b8d0cd
- git-committer:
- Philipp Kern <phil@0x539.de> / 2007-01-06T22:41:45Z+0000
- Message:
-
[project @ Small UI fixes]
Original author: Armin Burgmeier <armin@…>
Date: 2005-07-21 20:39:38+00:00
- Location:
- src
- Files:
-
Legend:
- Unmodified
- Added
- Removed
-
|
r3515287
|
rf59cf42
|
|
| 32 | 32 | |
| 33 | 33 | // Resize button to image's size |
| 34 | | m_button.set_size_request(width + 4, height); |
| | 34 | m_button.set_size_request(width + 4, height + 4); |
| 35 | 35 | m_button.add(m_image); |
| 36 | 36 | m_button.set_relief(Gtk::RELIEF_NONE); |
-
|
r072e533
|
rf59cf42
|
|
| 194 | 194 | m_notebook.append_page(m_page_editor, _("Editor") ); |
| 195 | 195 | m_notebook.append_page(m_page_view, _("View") ); |
| 196 | | m_notebook.append_page(m_page_appearance, _("Appearance") ); |
| | 196 | // m_notebook.append_page(m_page_appearance, _("Appearance") ); |
| 197 | 197 | |
| 198 | 198 | get_vbox()->set_spacing(5); |