33 #include <boost/format.hpp>
62 std::vector<std::
string> output,
63 const std::
string& title,
64 const std::
string& module) :
65 wxDialog(parent, -1, _T(""),
67 wxDefaultSize, wxRESIZE_BORDER),
68 output_(output), module_(module) {
70 createContents(
this,
true,
true);
71 result_ =
dynamic_cast<wxTextCtrl*
>(
FindWindow(ID_RESULT));
72 result_->SetEditable(
false);
116 for (
size_t i = 0; i <
output_.size(); i++) {
119 return wxWindow::TransferDataToWindow();
130 string editor =
options->editor();
137 string cmd = editor +
" " +
module_;
166 wxBoxSizer *item0 =
new wxBoxSizer( wxVERTICAL );
168 wxTextCtrl *item1 =
new wxTextCtrl( parent,
ID_RESULT, wxT(
""), wxDefaultPosition, wxSize(400,100), wxTE_MULTILINE );
169 item0->Add( item1, 1, wxGROW|wxALL, 5 );
171 wxBoxSizer *item2 =
new wxBoxSizer( wxHORIZONTAL );
173 wxButton *item3 =
new wxButton( parent,
ID_BUTTON_OPEN, wxT(
"Open"), wxDefaultPosition, wxDefaultSize, 0 );
174 item2->Add( item3, 0, wxALIGN_CENTER|wxALL, 5 );
176 wxButton *item4 =
new wxButton( parent, wxID_OK, wxT(
"&OK"), wxDefaultPosition, wxDefaultSize, 0 );
177 item2->Add( item4, 0, wxALIGN_CENTER|wxALL, 5 );
179 item0->Add( item2, 0, wxALIGN_CENTER|wxALL, 5 );
183 parent->SetSizer( item0 );
185 item0->SetSizeHints( parent );