← Back to branch summary

~ubuntu-branches/ubuntu/natty/texmacs/natty

« back to all changes in this revision

Viewing changes to src/Plugins/Widkit/Misc/texmacs_widget.cpp

  • Committer: Bazaar Package Importer
  • Author(s): Atsuhito KOHDA
  • Date: 2010-11-05 14:47:00 UTC
  • mfrom: (4.1.10 sid)
  • Revision ID: james.westby@ubuntu.com-20101105144700-t2ju0m1o53cqtyed
Tags: 1:1.0.7.7-1
* New Upstream Release.
* Updated patches/09_ipa.dpatch for new upstream sources.

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/Plugins/Widkit/Misc/texmacs_widget.cpp
13
13
#include "Widkit/basic_widget.hpp"
14
14
#include "Widkit/Event/attribute_event.hpp"
15
15
#include "message.hpp"
 
16
#include "dictionary.hpp"
16
17
 
17
18
#define THIS (wk_widget (this))
18
19
 
122
123
make_footer (int mask) {
123
124
  array<wk_widget> F (3);
124
125
  array<string> F_name (3);
125
 
  F[0]= text_wk_widget ("Welcome to TeXmacs!", false, "english");
 
126
  F[0]= text_wk_widget (translate ("Welcome to TeXmacs!"));
126
127
  F[1]= glue_wk_widget (true, false);
127
 
  F[2]= text_wk_widget ("TeXmacs#" TEXMACS_VERSION, false, "english");
 
128
  F[2]= text_wk_widget ("TeXmacs " TEXMACS_VERSION);
128
129
  F_name[0]= "left";
129
130
  F_name[1]= "middle";
130
131
  F_name[2]= "right";
136
137
 
137
138
  array<wk_widget> I (2);
138
139
  array<string> I_name (2);
139
 
  I[0]= text_wk_widget ("Input:", false, "english");
 
140
  I[0]= text_wk_widget (translate ("Input:"));
140
141
  I[1]= glue_wk_widget (true, false);
141
142
  I_name[0]= "left";
142
143
  I_name[1]= "middle";
219
220
 
220
221
void
221
222
texmacs_widget_rep::set_left_footer (string s) {
222
 
  wk_widget tw= text_wk_widget (s, false, "english");
 
223
  wk_widget tw= text_wk_widget (s);
223
224
  set_subwidget (THIS ["footer"], "left", tw);
224
225
}
225
226
 
226
227
void
227
228
texmacs_widget_rep::set_right_footer (string s) {
228
 
  wk_widget tw= text_wk_widget (s, false, "english");
 
229
  wk_widget tw= text_wk_widget (s);
229
230
  set_subwidget (THIS ["footer"], "right", tw);
230
231
}
231
232