IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fixed an issue where file extension is stripped on renaming a file. Fixes #4855

Browse Source
This commit is contained in:
Aditya Toshniwal 2020-09-29 11:03:38 +05:30 committed by Akshay Joshi
parent 3e7cdcdf90
commit c7c199210d
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
docs/en_US/release_notes_4_27.rst
View File

@ -21,6 +21,7 @@ Bug fixes
*********
| `Issue #4806 <https://redmine.postgresql.org/issues/4806>`_ - Added useful message when the explain plan is not used and empty.
| `Issue #4855 <https://redmine.postgresql.org/issues/4855>`_ - Fixed an issue where file extension is stripped on renaming a file.
| `Issue #5131 <https://redmine.postgresql.org/issues/5131>`_ - Ensure that 'ctrl + a' shortcut does not move the cursor in SQL editor.
| `Issue #5417 <https://redmine.postgresql.org/issues/5417>`_ - Fixed and improve API test cases for the schema diff tool.
| `Issue #5739 <https://redmine.postgresql.org/issues/5739>`_ - Ensure that the import/export feature should work with SSH Tunnel.

7
web/pgadmin/misc/file_manager/static/js/utility.js
View File

@ -867,7 +867,7 @@ define([
$('.fileinfo #contents li div').on('blur dblclick', 'input', function(e) {
e.stopPropagation();
var old_name = decodeURI($(this).siblings('span').attr('title'));
var old_name = decodeURI($(this).siblings('div').find('.less_text').attr('title'));
newvalue = old_name.substring(0, old_name.indexOf('.'));
var last = getFileExtension(old_name),
file_data, new_name, file_path, full_name;
@ -945,7 +945,7 @@ define([
$('.fileinfo table#contents tr td div').on(
'blur dblclick', 'input',
function(e) {
var old_name = decodeURI($(this).siblings('span').attr('title')),
var old_name = decodeURI($(this).siblings('div').find('.less_text').attr('title')),
new_value = old_name.substring(0, old_name.indexOf('.')),
last = getFileExtension(old_name);
if (old_name.indexOf('.') == 0) {
@ -974,8 +974,7 @@ define([
if (new_value !== new_name) {
renameItem(file_data);
var parent = file_path.split('/').reverse().slice(2).reverse().join('/') + '/';
getFolderInfo(parent);
getFolderInfo($('.currentpath').val());
}
}
} else {