<commit_before>###
FrameTitleBar - title bar in a frame, in the frame tree
###

{debounce} = require('underscore')
{ButtonGroup, Button}   = require('react-bootstrap')
{React, rclass, rtypes, redux} = require('../smc-react')
{Icon, Space, Tip, VisibleMDLG,
 EditorFileInfoDropdown}= require('../r_misc')
{UncommittedChanges}    = require('../jupyter/uncommitted-changes')

{IS_TOUCH, IS_IPAD} = require('../feature')
misc       = require('smc-util/misc')

title_bar_style =
    background    : '#ddd'
    borderTop     : '1px solid rgb(204,204,204)'
    borderLeft    : '1px solid rgb(204,204,204)'
    borderRight   : '1px solid rgb(204,204,204)'
    verticalAlign : 'middle'
    lineHeight    : '20px'
    textOverflow  : 'ellipsis'
    minHeight     : '24px'

path_style =<commit_msg>add padding to title frame to avoid overlapping borders (j3 suggestion)<commit_after>###
FrameTitleBar - title bar in a frame, in the frame tree
###

{debounce} = require('underscore')
{ButtonGroup, Button}   = require('react-bootstrap')
{React, rclass, rtypes, redux} = require('../smc-react')
{Icon, Space, Tip, VisibleMDLG,
 EditorFileInfoDropdown}= require('../r_misc')
{UncommittedChanges}    = require('../jupyter/uncommitted-changes')

{IS_TOUCH, IS_IPAD} = require('../feature')
misc       = require('smc-util/misc')

title_bar_style =
    background    : '#ddd'
    borderTop     : '1px solid rgb(204,204,204)'
    borderLeft    : '1px solid rgb(204,204,204)'
    borderRight   : '1px solid rgb(204,204,204)'
    verticalAlign : 'middle'
    lineHeight    : '20px'
    textOverflow  : 'ellipsis'
    minHeight     : '24px'
    padding       : '1px'

path_style =
{'fraction_non_alphanumeric': 0.15259348612786489, 'fraction_numerical': 0.04221954161640531, 'mean_word_length': 3.7672413793103448, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3741356', 'n_tokens_mistral': 630, 'n_tokens_neox': 573, 'n_words': 128}