Helpviewer/HTMLResources.py

changeset 1232
ed31e909cf2e
parent 791
9ec2ac20e54e
child 1509
c0b5e693b0eb
equal deleted inserted replaced
1230:b8c93d063a53 1232:ed31e909cf2e
148 } 148 }
149 </style> 149 </style>
150 <script type="text/javascript"> 150 <script type="text/javascript">
151 function update() 151 function update()
152 { 152 {
153 document.title = window.eric.translate('Welcome to Eric Web Browser!'); 153 document.title = window.eric.translate('Welcome to eric5 Web Browser!');
154 document.getElementById('headerTitle').innerHTML = window.eric.translate('Eric Web Browser'); 154 document.getElementById('headerTitle').innerHTML = window.eric.translate('eric5 Web Browser');
155 document.getElementById('searchButton').value = window.eric.translate('Search!'); 155 document.getElementById('searchButton').value = window.eric.translate('Search!');
156 document.getElementById('footer').innerHTML = window.eric.providerString() 156 document.getElementById('footer').innerHTML = window.eric.providerString()
157 + ' | ' + '<a href="http://eric-ide.python-projects.org/">' 157 + ' | ' + '<a href="http://eric-ide.python-projects.org/">'
158 + window.eric.translate('About Eric') + '</a>'; 158 + window.eric.translate('About eric5') + '</a>';
159 document.getElementById('lineEdit').placeholder = window.eric.providerString(); 159 document.getElementById('lineEdit').placeholder = window.eric.providerString();
160 160
161 // Try to change the direction of the page: 161 // Try to change the direction of the page:
162 162
163 var newDir = window.eric.translate('QT_LAYOUT_DIRECTION'); 163 var newDir = window.eric.translate('QT_LAYOUT_DIRECTION');

eric ide

mercurial