diff options
| author | David Edmundson <[email protected]> | 2016-05-18 02:06:49 +0100 |
|---|---|---|
| committer | David Edmundson <[email protected]> | 2016-05-18 10:11:36 +0100 |
| commit | 3b95644fa1495785f617165f4e8035528ec714e8 (patch) | |
| tree | e9cfcdacb2179740edfd34a91d8ddc5b923643ce /src/dolphintabpage.h | |
| parent | d0777bc791564d4d5c029a12c0c9f389fbf0267d (diff) | |
Don't allow opening the terminal if shell_access Kiosk mode is set
DolphinPart already did this. Dolphin itself didn't have this feature.
REVIEW: 127951
Diffstat (limited to 'src/dolphintabpage.h')
0 files changed, 0 insertions, 0 deletions
