equal
deleted
inserted
replaced
280 + <button label="Thanks!"/> |
280 + <button label="Thanks!"/> |
281 + </hbox> |
281 + </hbox> |
282 + </panel> |
282 + </panel> |
283 + |
283 + |
284 + <panel id="abouthome-search-panel" orient="vertical" type="arrow" hidden="true"> |
284 + <panel id="abouthome-search-panel" orient="vertical" type="arrow" hidden="true"> |
285 + <hbox id="abouthome-search-panel-manage" class="abouthome-search-panel-item" |
285 + <hbox id="abouthome-search-panel-manage" |
286 + onclick="openPreferences('paneSearch')"> |
286 + onclick="openPreferences('paneSearch')"> |
287 + <label>&cmd_engineManager.label;</label> |
287 + <label>&cmd_engineManager.label;</label> |
288 + </hbox> |
288 + </hbox> |
289 + </panel> |
289 + </panel> |
290 + |
290 + |