Did it years ago as part of a family reunion. Not with kids.
Disney is obviously more family friendly than other cruise lines. The 7 year old will likely go to the kids club and hang out there all day and have a blast. Kind of depends on the nature of your 4 year old I think.