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'); |