32 |
} |
} |
33 |
|
|
34 |
ScriptEditor::ScriptEditor() : |
ScriptEditor::ScriptEditor() : |
35 |
m_applyButton(Gtk::Stock::APPLY), m_cancelButton(Gtk::Stock::CANCEL) |
m_applyButton(_("_Apply"), true), |
36 |
|
m_cancelButton(_("_Cancel"), true) |
37 |
{ |
{ |
38 |
m_script = NULL; |
m_script = NULL; |
39 |
|
|
52 |
{ |
{ |
53 |
Pango::FontDescription fdesc; |
Pango::FontDescription fdesc; |
54 |
fdesc.set_family("monospace"); |
fdesc.set_family("monospace"); |
55 |
|
#if defined(__APPLE__) |
56 |
|
fdesc.set_size(12 * PANGO_SCALE); |
57 |
|
#else |
58 |
fdesc.set_size(10 * PANGO_SCALE); |
fdesc.set_size(10 * PANGO_SCALE); |
59 |
|
#endif |
60 |
#if GTKMM_MAJOR_VERSION < 3 |
#if GTKMM_MAJOR_VERSION < 3 |
61 |
m_textView.modify_font(fdesc); |
m_textView.modify_font(fdesc); |
62 |
#else |
#else |