mirror of
https://github.com/php/web-doc-editor.git
synced 2026-03-24 09:12:07 +01:00
f06fee3640
This patch adds some missing newlines and trims multiple final newlines into a single newline. According to POSIX, a line is a sequence of zero or more non-' <newline>' characters plus a terminating '<newline>' character. [1] Files should normally have at least one final newline character. C89 [2] and later standards [3] mention a final newline: "A source file that is not empty shall end in a new-line character, which shall not be immediately preceded by a backslash character." Although it is not mandatory for all files to have a final newline fixed, a more consistent and homogeneous approach brings less of commit differences issues and a better development experience in certain text editors and IDEs. [1] http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap03.html#tag_03_206 [2] https://port70.net/~nsz/c/c89/c89-draft.html#2.1.1.2 [3] https://port70.net/~nsz/c/c99/n1256.html#5.1.1.2
44 lines
1.3 KiB
JavaScript
44 lines
1.3 KiB
JavaScript
Ext.namespace('ui','ui.cmp');
|
|
|
|
ui.cmp.SystemUpdatePrompt = Ext.extend(Ext.Window,
|
|
{
|
|
id : 'sys-update-win',
|
|
title : _('Refresh all data'),
|
|
layout : 'form',
|
|
width : 300,
|
|
height : 200,
|
|
resizable : false,
|
|
modal : true,
|
|
bodyStyle : 'padding:15px 15px 0',
|
|
iconCls : 'iconRefresh',
|
|
html : [
|
|
'<div id="wizard-step-1" class="wizard-step-before">',
|
|
_('Update all files from VCS'),
|
|
'</div>',
|
|
'<div id="wizard-step-1.1" class="wizard-wait">',
|
|
_('This may take time. Thank you for your patience...'),
|
|
'</div>',
|
|
'<div id="wizard-step-2" class="wizard-step-before">',
|
|
_('Apply all tools'),
|
|
'</div>',
|
|
'<div id="wizard-step-3" class="wizard-step-before">',
|
|
_('Reload data'),
|
|
'</div>'
|
|
].join(''),
|
|
buttons : [{
|
|
id : 'btn-start-refresh',
|
|
text : _('Start'),
|
|
iconCls : 'iconStartRefresh',
|
|
handler : function()
|
|
{
|
|
// Disable start button
|
|
Ext.getCmp('btn-start-refresh').disable();
|
|
|
|
// Disable the close button for this win
|
|
this.ownerCt.ownerCt.tools.close.setVisible(false);
|
|
|
|
new ui.task.SystemUpdateTask();
|
|
}
|
|
}]
|
|
});
|