Mirrors
/
gparted
mirror of https://gitlab.gnome.org/GNOME/gparted.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Allow partition naming on busy partitions (#746214) 

Allow partition names to be changed whether or not the partition is
busy, rather than only when not busy, because it doesn't effect the busy
file system or change the partition boundaries in any way.

Bug 746214 - Partition naming enhancements
This commit is contained in:
Mike Fleetwood 2015-03-13 17:38:48 +00:00 committed by Curtis Gedak
parent e9cc0b15a5
commit f804bc3244
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/Win_GParted.cc
View File

@ -1018,6 +1018,12 @@ void Win_GParted::set_valid_operations()
)
allow_toggle_busy_state( true ) ;
// Allow naming on devices that support it
if ( selected_partition.type != TYPE_UNALLOCATED &&
selected_partition.status == STAT_REAL &&
devices[current_device].partition_naming )
allow_name_partition( true );
// Manage flags
if ( selected_partition.type != TYPE_UNALLOCATED &&
selected_partition.status == STAT_REAL &&
@ -1130,10 +1136,6 @@ void Win_GParted::set_valid_operations()
if ( selected_partition .status == GParted::STAT_REAL && fs .write_label )
allow_label_filesystem( true );
// only allow naming of real partitions on devices that support naming
if ( selected_partition.status == STAT_REAL && devices[current_device].partition_naming )
allow_name_partition( true );
//only allow changing UUID of real partitions that support it
if ( selected_partition .status == GParted::STAT_REAL && fs .write_uuid )
allow_change_uuid( true ) ;